BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5697/15-
16-May-2014-Algebra-and-Coalgebra-meet-Proof-Theor
y-ALCOP-2014-London-U-K-
DTSTAMP:20140413T000000
SUMMARY:Algebra and Coalgebra meet Proof Theory (A
LCOP 2014), London, U.K.
DTSTART;VALUE=DATE:20140515
DTEND;VALUE=DATE:20140516
LOCATION:London, U.K.
DESCRIPTION:The aim of this workshop is to bring t
ogether experts in algebra, coalgebra, and proof t
heory to share ideas and methods. Everybody is wel
come to attend the workshop. Giving a talk is by i
nvitation only. This is the fifth issue of this wo
rkshop. Previous meetings were held in London, Ber
n, Prague and Utrecht. This meeting is partially s
ponsored by the British Logic Colloquium. Invit
ed Speakers include Samson Abramsky, Michael Rathj
en, Sara Negri, Corina Cirstea, Marcelo Fiore and
Bart Jacobs. Plus 13 contributed talks. More de
tails 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 wo
rkshop, but we need to keep track of numbers. Ther
efore, if you would like to attend the workshop pl
ease register by sending an email to the organiser
s Mehrnoosh Sadrzadeh and Paulo Oliva. Please also
indicate whether you plan to join us for the work
shop dinner in the evening of 15 May.
X-ALT-DESC;FMTTYPE=text/html:\n \n
The aim of this workshop is to bring together expe
rts in\n algebra, coalgebra, and proof theo
ry to share ideas and\n methods. Everybody
is welcome to attend the workshop. Giving a\n
talk is by invitation only. This is the fifth i
ssue of this\n workshop. Previous meetings
were held in London, Bern, Prague\n and Utr
echt. This meeting is partially sponsored by the\
n British Logic Colloquium.\n

\n
\n Invited Speakers include Samson A
bramsky, Michael Rathjen,\n Sara Negri, Cor
ina Cirstea, Marcelo Fiore and Bart\n Jacob
s. Plus 13 contributed talks.\n

\n \n
\n More details can be found on the
workshop webpage:\n http://www.eecs.qmul.ac.uk/~pbo/worksho
ps/ALCOP2014.html\n There is no registr
ation fee for attending the workshop, but\n
we need to keep track of numbers. Therefore, if y
ou would like\n to attend the workshop plea
se register by sending an email to\n the or
ganisers Mehrnoosh Sadrzadeh and Paulo Oliva. Plea
se\n also indicate whether you plan to join
us for the workshop\n dinner in the evenin
g of 15 May.\n

\n
URL:/NewsandEvents/Archives/2014/newsitem/5697/15-
16-May-2014-Algebra-and-Coalgebra-meet-Proof-Theor
y-ALCOP-2014-London-U-K-
END:VEVENT
END:VCALENDAR