ALCOP VIII; SICSA RT: Theory, Modelling & Computation

Date(s) - 10/04/2017 - 12/04/2017
All Day

University of Strathclyde

The SICSA Theory, Modelling & Computation Research Theme is pleased to be sponsoring the Algebra and Coalgebra meet Proof Theory (ALCOP) VIII on 10 – 12 April at the University of Strathclyde

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


Confirmed Speakers:

Registration is now open! Register here:

For more information on ALCOP VIII please see he web-page:

This entry was posted in .