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/2017/newsitem/8909/23-
 --26-September-2017-Autumn-School-Proof-Computatio
 n-Herrsching-Germany
DTSTAMP:20170413T164414
SUMMARY:Autumn School "Proof & Computation", Herrs
 ching, Germany
DTSTART;VALUE=DATE:20170923
DTEND;VALUE=DATE:20170926
LOCATION:Herrsching, Germany
DESCRIPTION:An international autumn school "Proof 
 and Computation" will be held from 23rd to 26th Se
 ptember 2017 at Haus der bayerischen Landwirtschaf
 t Herrsching in Herrsching near Munich. Its aim is
  to bring together young researchers in the field 
 of Foundations of Mathematics, Computer Science an
 d Philosophy.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>An internation
 al autumn school &quot;Proof and Computation&quot;
  will be held from 23rd to 26th September 2017 at 
 Haus der bayerischen Landwirtschaft Herrsching in 
 Herrsching near Munich. Its aim is to bring togeth
 er young researchers in the field of Foundations o
 f Mathematics, Computer Science and Philosophy.</p
 >\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
 t/pc17.php
CONTACT:xu at math.lmu.de
END:VEVENT
END:VCALENDAR