ALCOP VIII, 10-12 April 2017

About ALCOP

The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields. The MSP Group at the University of Strathclyde (Glasgow) will host the eighth edition of this workshop.

Previous editions of ALCOP where held in Vienna (2016), Delft (2015), London (2014), Utrecht (2013), Prague (2012), Bern (2011), and London (2010).

Invited Speakers

• Neil Ghani (Strathclyde)
• Sam van Gool (New York), Machines, Models, Monoids, and Modal logic (abstract)
• Helle Hvid Hansen (Delft), Game Logic, coalgebraic completeness and automata (abstract,slides)
• Ekaterina Komendantskaya (Heriot-Watt University), Horn Clause logic: the knowns and the unknowns (abstract,slides)
• Filip Murlak (Warsaw), Static analysis over tree-structured data using graph decompositions (abstract,slides)
• Daniela Petrisan (Paris), Hybrid set-vector automata from a category-theoretic perspective (abstract)
• Jan Rutten (CWI Amsterdam/Nijmegen), Moessner's Theorem: an extensive exercise in coinduction (abstract,slides)
• Frank Wolter (Liverpool), Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (abstract,slides)

Program

• Schedule

• Contributed talks

Registration

Venue

ALCOP VIII is held at the University of Strathclyde. Talks take place in the Cathedral Wing, room CW408.
A map with an indication of the best way to reach the venue can be obtained here.

A campus map is available online.

Contact

For questions contact one of the local organisers, Clemens, or Johannes.

Local Organisers

• Clemens Kupke
• Johannes Marti

Steering Committee

• Nick Bezhanishvili (Amsterdam)
• Agata Ciabattoni(Vienna)
• Rostislav Horčík (Prague)
• Rosalie Iemhoff (Utrecht)
• Clemens Kupke (Glasgow)
• George Metcalfe (Bern)
• Alessandra Palmigiano (Delft)

Our sponsors