Date/Time
Date(s) - 10/04/2017 - 12/04/2017
All Day
Location
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
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).
Confirmed Speakers:
- Neil Ghani (Strathclyde)
- Sam van Gool (New York)
- Helle Hvid Hansen (Delft)
- Ekaterina Komendantskaya (Heriot-Watt University)
- Mark V Lawson (Heriot-Watt University)
- Thomas Lukasiewicz (Oxford)
- Filip Murlak (Warsaw)
- Daniela Petrisan (Paris)
- Jan Rutten (CWI Amsterdam/Nijmegen)
Registration
Registration is now open! Register here: http://onlineshop.strath.ac.uk/conferences-and-events/science-faculty/computer-and-information-science/alcop-2017
For more information on ALCOP VIII please see he web-page: https://personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017/