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.
ALCOP VII is supported by: