BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/490
6/18-20-April-2013-Algebra-and-Coalgebra-meet-Proo
f-Theory-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

\n
URL:/NewsandEvents/Events/Conferences/newsitem/490
6/18-20-April-2013-Algebra-and-Coalgebra-meet-Proo
f-Theory-ALCOP-2013-Utrecht-University
END:VEVENT
END:VCALENDAR