ALCOP VIII, 10-12 April
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
- Neil Ghani
- Sam van Gool (New
York), Machines, Models, Monoids, and Modal logic (abstract)
- Helle Hvid
Hansen (Delft), Game Logic, coalgebraic completeness and
Komendantskaya (Heriot-Watt University), Horn Clause logic:
the knowns and the unknowns (abstract,slides)
Murlak (Warsaw), Static analysis over tree-structured data
using graph decompositions (abstract,slides)
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)
Registration is now closed.
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.
For questions contact one of the local organisers, Clemens, or Johannes.