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
\nALCOP 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 \nMore 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