ALCOP VI, 2015: Algebra and Coalgebra meet Proof Theory

Dates: 6 - 8 May 2015 (2.7 days)
Venue: Faculty of Technology, Policy and Management, Delft University of Technology. Jaffalaan 5, 2628 BX Delft.
Room: Classroom H, first floor, turn right twice after the stairs.

For directions, see here.

Aims and Scope
The ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory with the aim of sharing new results and developing mutually beneficial relationships between these fields. As a special theme, ALCOP 2015 will explore connections with substructural logics and their applications in computer science, social science and AI (e.g., logic programming, databases, knowledge representation).

Attendance is free of cost, but talks are by invitation only.
For registration, see below.

The workshop dinner will take place at Café - Restaurant 't Postkantoor on Thu 7 May 2015 at 18:30. The workshop dinner will cost 35 euro per person.

Keynote Speakers
> Félix Bou (Artificial Intelligence Research Institute - IIIA, Spain)
Title: A Computational Approach to Finite MTL-chains

> Agata Ciabattoni (Technische Universität Wien, Austria)
Title: (Algebraic) Proof Theory for Substructural Logics and Applications

> Clemens Kupke (University of Strathclyde, United Kingdom)
Title: Coalgebra & Data

> Tadeusz Litak (Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU, Germany)
Title: Completeness, Completions, Canonicity and Cut

Invited Speakers
> Zeinab Bakhtiari (INRIA Nancy)
Title: Dynamic Epistemic Logic (on a Bi-lattice Base)

> Samuel Balco (University of Leicester)
Title: Display Calculi in Isabelle

> Nick Bezhanishvili (University of Amsterdam)
Title: Canonical Formulas for Residuated Lattices

> Sebastian Enqvist (Lund University - University of Amsterdam)
Title: Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

> Tommaso Flaminio (University of Insubria)
Title: Algebraic Models for Probabilistic Reasoning

> Sabine Frittella (LIF, Marseille)
Title: Display Calculi for PDL

> José Gil-Ferez (Vanderbilt University)
Title: Projectable L-groups and Algebras of Logic: Categorical and Algebraic Connections

> Ekaterina Komendantskaya (University of Dundee)
Title: Structural Resolution and Universal Productivity

> Alexander Kurz (University of Leicester)
Title: Weighted Colimits and Density as Tools for (Co)Algebraic Logic

> Minghui Ma (Southwest University No.2, Chongqing)
Title: Algorithmic correspondence and proof theory for weak strict implication logics

> Revantha Ramanayake (TU Vienna)
Title: Between Axioms and Structural Rules in the Display Calculus

> Mehrnoosh Sadrzadeh (Queen Mary, University of London)
Title: Sheaf models and intuitionistic logic for natural language

> Lutz Schröder (FAU Erlangen)
Title: Coalgebraic Correspondence Theory and Gaifman Locality

> Luca Spada (University of Salerno)
Title: Duality for MV-algebras via Ind- and Pro-completions of Categories

> Apostolos Tzimoulis (Delft University of Technology)
Title: Unified Correspondence as a Proof-Theoretic Tool

> Yde Venema (University of Amsterdam)
Title: Completeness for the Mu-calculus: a Coalgebraic Perspective

Workshop attendance is free of cost, but we have a limited amount of places. If you are interested in participating, please send an email to Umberto Rivieccio ( or Giuseppe Greco (

Previous meetings
London (2014)
Utrecht (2013)
Prague (2012)
Bern (2011)
> London (2010)

Local information
For general transport information (buses, trams, trains), see here.
For train schedules and prices, see here.
For a Google map of our suggested café and restaurants, see here.
Information leaflet about restaurants and workshop dinner: Map.pdf.
For restaurants in Delft, see also the webpage here.
For food and drinks at the TU Delft, see also the webpage here.

> Giuseppe Greco (TU Delft)
> Helle Hvid Hansen (TU Delft)
> Umberto Rivieccio (TU Delft)

ALCOP 2015 is funded by:

Koninklijke Nederlandse Akademie van Wetenschappen Congressubsidiefonds (KNAW)


Netherlands Organisation for Scientific Research (NWO)


> department of Engineering Systems and Services (ESS) at TPM, TU Delft
> department of Values, Technology and Innovation (VTI) at TPM, TU Delft