ALCOP VIII, 10-12 April 2017


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).


Please submit an 1-2 page abstract via easychair by 14 February 2017 (deadline extended).

As we do not intend to have formal precoeedings we welcome submissions of abstracts about ongoing research and of research that has already been published elsewhere.

Confirmed Invited Speakers


Registration will open mid February. Expected registration costs are £50 to cover the costs for the workshop dinner.


ALCOP VIII is held at the University of Strathclyde.
Talks take place in the McCance Building, room MC301.

A campus map is available online.


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

Local Organisers

Steering Committee

Our sponsors