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/2013/newsitem/4906/18-
20-April-2013-Algebra-and-Coalgebra-meet-Proof-The
ory-ALCOP-2013-Utrecht-University
DTSTAMP:20130418T000000
SUMMARY:Algebra and Coalgebra meet Proof Theory (A
LCOP 2013), Utrecht University
DTSTART;VALUE=DATE:20130418
DTEND;VALUE=DATE:20130420
LOCATION:Utrecht University
DESCRIPTION:The fourth issue of the workshop Algeb
ra and Coalgebra meet Proof Theory (ALCOP 2013), w
ill take place in Utrecht, The Netherlands on Apri
l 18 - 20, 2013. ALCOP brings together experts i
n algebraic logic, coalgebraic logic, and proof th
eory with the goal of sharing new results and deve
loping mutually beneficial relationships between t
hese fields. More details can be found on the wo
rkshop webpage: http://www.phil.uu.nl/~iemhoff/Con
ferenties/ALCOP/
X-ALT-DESC;FMTTYPE=text/html:\n \n
The fourth issue of the workshop Algebra and Coalg
ebra meet Proof\n Theory (ALCOP 2013), will
take place in Utrecht, The Netherlands on\n
April 18 - 20, 2013.\n

\n ALCOP
brings together experts in algebraic logic, coalg
ebraic logic,\n and proof theory with the g
oal of sharing new results and developing\n
mutually beneficial relationships between these f
ields.\n

\n\n \n More details
can be found on the workshop webpage:\n http://www.phil.uu.nl/~iem
hoff/Conferenties/ALCOP/\n

URL:/NewsandEvents/Archives/2013/newsitem/4906/18-
20-April-2013-Algebra-and-Coalgebra-meet-Proof-The
ory-ALCOP-2013-Utrecht-University
END:VEVENT
END:VCALENDAR