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      <p>\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      </p>\n  
     <p>\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      </p>\n    \n 
      <p>\n        More details can be found on the
  workshop webpage:\n        <a target="_blank" hre
 f="http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP
 2014.html">http://www.eecs.qmul.ac.uk/~pbo/worksho
 ps/ALCOP2014.html</a>\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      </p>\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
