Vienna, Austria, April 7–9, 2016

Aim and Scope

ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields. The Theory and Logic Group at the TU Wien will host the seventh edition of this workshop.

Previous Meetings

• Delft (2015)
• London (2014)
• Utrecht (2013)
• Prague (2012)
• Bern (2011)
• London (2010)

ALCOP VII is supported by: