The ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory with the aim of sharing new results and developing mutually beneficial relationships between these fields.
ALCOP VII, Vienna, Austria, April 7–9, 2016
The ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory with the aim of sharing new results and developing mutually beneficial relationships between these fields.