Aims & Scope:

The aim of the workshop is to strengthen already existing strong ties between the Dutch and British logicians. The workshop will bring together the experts of algebraic logic, coalgebraic logic and proof theory from the Netherlands and UK. Proof theory is an excellent ground where the methods and techniques of algebra and coalgebra can `meet' and generate new insights. Our aim is to create a network of interests where the promising results already achieved in each of these disciplines will coalesce and lead to new developments.

Dates & Venue:

The Workshop will take place on 25-26 January at the Department of Computing at Imperial College London. Please register via this website if you are planning to attend.

ALCOP 2010

The Sponsors: