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/4952/23- --27-September-2013-Algebraic-Proof-Theory-W0rksho p-Gudauri-Georgia DTSTAMP:20130324T000000 SUMMARY:Algebraic Proof Theory W0rkshop, Gudauri, Georgia DTSTART;VALUE=DATE:20130923 DTEND;VALUE=DATE:20130927 LOCATION:Gudauri, Georgia DESCRIPTION:An Algebraic Proof Theory Workshop wil l take place at the Tenth Tbilisi Symposium on Lan guage, Logic and Computation that is held in Georg ia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and al gebraic logic, a connection that is still not comp letely understood and has received increasing atte ntion over the last years. Workshop organizers: A gata Ciabattoni and Rosalie Iemhoff. Invited Speak ers: Matthias Baaz (Vienna University of Technolog y), Alessio Guglielmi (University of Bath) and Kaz ushige Terui (University of Kyoto). For more info rmation, see the Tbilisi Symposium website at http ://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl. Anyone interested in giving a talk at the workshop can send a 1 page abstract to Agata Ciabattoni (agata at logic.at) and Rosali e Iemhoff (R.Iemhoff at uu.nl) no later than May 3 0th, 2013. X-ALT-DESC;FMTTYPE=text/html:
An Algebraic Proof Theory Workshop will\n take place at the Tenth Tbilisi Symposium on Language, Logic and\n Computation that is held in Ge orgia on 23 - 27 September 2013.\n The work shop centers around the connection between proof t heory\n and algebraic logic, a connection t hat is still not completely\n understood an d has received increasing attention over the last\ n years.
\nWorkshop organizer s: Agata Ciabattoni and Rosalie Iemhoff.\n Invited Speakers: Matthias Baaz (Vienna Universit y of Technology),\n Alessio Guglielmi (Univ ersity of Bath) and\n Kazushige Terui (Univ ersity of Kyoto).
\n \n \nFo r more information, see the Tbilisi Symposium webs ite at http://www.illc.uva.nl/ Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.
Anyone interested in g iving a talk at the workshop can send a 1 page\n abstract to Agata Ciabattoni (agata at logic.at) and Rosalie Iemhoff\n (R.I emhoff at uu.nl) no la ter than May 30th, 2013.
\n