Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

10 - 12 April 2017, Workshop Algebra and Coalgebra meet Proof Theory (ALCOP VIII)

Date: 10 - 12 April 2017
Time: 09:00-17:00
Location: University of Strathclyde, Glasgow
Deadline: Tuesday 14 February 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.

We invite submissions of a 1-2 page abstract for contributed talks by the extended deadline 14 February 2017: https://easychair.org/conferences/?conf=alcopviii2017

For more information, see https://personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017/ or contact Johannes Marti at .