ALCOP 2014: Algebra and Coalgebra meet Proof Theory
May 15 – 16, 2014
Queen Mary University of London

ALCOP

The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only.
This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. Meeting sponsored by EPSRC and British Logic Colloquium.

Registration

There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.

Speakers and Program

For the full programme follow this link.