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
An internation al autumn school "Proof and Computation" 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.
URL:http://www.mathematik.uni-muenchen.de/~schwich t/pc17.php CONTACT:xu at math.lmu.de END:VEVENT END:VCALENDAR