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

ALCOP VII is supported by:


Screen Shot 2016-02-25 at 12.04.24

 Screen Shot 2016-02-25 at 11.30.00