Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

15-16 May 2014, Algebra and Coalgebra meet Proof Theory (ALCOP 2014), London, U.K.

Date: 15-16 May 2014
Location: London, U.K.

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 include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.

More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html 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.

Please note that this newsitem has been archived, and may contain outdated information or links.