Algebra and Coalgebra meet Proof Theory
ALCOP VII, Vienna, Austria, April 7–9, 2016
Skip to content
ALCOP
Invited Speakers
Program
Committees
Venue
Travel and Stay
City
Reroutings around TU on April 8-10
Social Program
Contact
Program Committee
Nick Bezhanishvili
(Amsterdam)
Rostislav Horčík
(Prague)
Rosalie Iemhoff
(Utrecht)
Clemens Kupke
(Glasgow)
George Metcalfe
(Bern)
Alessandra Palmigiano
(Delft)