[TYPES/announce] Algebra and Coalgebra meet Proof Theory (ALCOP'2014) - Call for Participation

[Paulo Oliva]

-- Call for Participation --

ALCOP 2014: Algebra and Coalgebra meet Proof Theory

http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

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 and attending the conference dinner 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 see:

http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

Many thanks,
--
Paulo Oliva
Royal Society University Research Fellow
Queen Mary University of London
London E1 4FZ
+44 (0) 207 882 5255
http://www.dcs.qmul.ac.uk/~pbo

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140501/a38fba51/attachment.html>