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
 s://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contac
 t 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 Rosal
 ie Iemhoff (R.Iemhoff at uu.nl) no later than May 
 30th, 2013.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>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.</p>\n        <p>Workshop 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).</p>\n    \n      \n        <p>Fo
 r more information, see the Tbilisi Symposium webs
 ite at <a target="_blank" href="https://www.illc.u
 va.nl/Tbilisi/Tbilisi2013/">https://www.illc.uva.n
 l/Tbilisi/Tbilisi2013/</a> or contact <a class="em
 ail">R.Iemhoff <span class="at">at</span> uu.nl</a
 >.</p>\n    </div><div>\n        <p>Anyone interes
 ted in giving a talk at the workshop can send a 1 
 page\n        abstract to Agata Ciabattoni (<a cla
 ss="email">agata <span class="at">at</span> logic.
 at</a>) and Rosalie Iemhoff\n        (<a class="em
 ail">R.Iemhoff <span class="at">at</span> uu.nl</a
 >) no later than May 30th, 2013.</p>\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/4952/23-
 --27-September-2013-Algebraic-Proof-Theory-W0rksho
 p-Gudauri-Georgia
END:VEVENT
END:VCALENDAR