Aims & Scope

ALCOP 2011 will bring together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields. The workshop will serve both as the spring meeting of the Swiss Mathematical Society and as a sequel to ALCOP 2010 held at Imperial College London.

Dates & Venue

The workshop will take place 27-29 April 2011 in room B78 of the ExWi-building of the University of Bern. Please contact the organizers by email if you are interested in attending.