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:

For more information, see or contact Johannes Marti at .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X