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.