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/2018/newsitem/9235/21-
 --26-June-2018-Workshop-on-Proof-Theory-at-UNILOG-
 2018-Vichy-France
DTSTAMP:20170814T151006
SUMMARY:Workshop on Proof Theory at UNILOG 2018, V
 ichy, France
DTSTART;VALUE=DATE:20180621
DTEND;VALUE=DATE:20180626
LOCATION:Vichy, France
DESCRIPTION:We organize a one-day workshop on proo
 f theory at the 6th World Congress on Universal Lo
 gic. Keynote speakers are Francesca Poggiolesi (Pa
 ris) and Alexander Leitsch (Vienna). Organisers: P
 eter Schroeder-Heister and Thomas Piecha.  We invi
 te contributions on all aspects of proof theory, p
 hilosophical or technical.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>We organi
 ze a one-day workshop on proof theory at the 6th W
 orld Congress on Universal Logic. Keynote speakers
  are Francesca Poggiolesi (Paris) and Alexander Le
 itsch (Vienna). Organisers: Peter Schroeder-Heiste
 r and Thomas Piecha.</p>\n</div><div>\n  <p>We inv
 ite contributions on all aspects of proof theory, 
 philosophical or technical.</p>\n</div>
URL:https://www.uni-log.org/wk6-proof-theory.html
CONTACT:cfp-proof-theory at informatik.uni-tuebing
 en.de
END:VEVENT
END:VCALENDAR