ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participation 15 - 16 May 2014 Queen Mary University of London http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html Aims and Scope ============== 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. This meeting is partially sponsored by the British Logic Colloquium. Invited Speakers ================ - Samson Abramsky - Michael Rathjen - Sara Negri - Corina Cirstea - Marcelo Fiore - Bart Jacobs Plus 13 contributed talks. See full program at http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]