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/9878/16-
 --22-September-2018-Autumn-School-Proof-Computatio
 n-Fischbachau-Germany
DTSTAMP:20180416T111447
SUMMARY:Autumn School "Proof & Computation", Fisch
 bachau, Germany
DTSTART;VALUE=DATE:20180916
DTEND;VALUE=DATE:20180922
LOCATION:Fischbachau, Germany
DESCRIPTION:The aim of the international autumn sc
 hool "Proof and Computation" is to bring together 
 young researchers in the field of Foundations of M
 athematics, Computer Science and Philosophy. Scope
 : Predicative Foundations, Constructive Mathematic
 s and Type Theory, Computation in Higher Types, an
 d Extraction of Programs from Proofs. There will b
 e an opportunity to form ad-hoc groups working on 
 specific projects, but also to discuss in more gen
 eral terms the vision of constructing correct prog
 rams from proofs.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of the
  international autumn school &quot;Proof and Compu
 tation&quot; is to bring together young researcher
 s in the field of Foundations of Mathematics, Comp
 uter Science and Philosophy. Scope: Predicative Fo
 undations, Constructive Mathematics and Type Theor
 y, Computation in Higher Types, and Extraction of 
 Programs from Proofs. There will be an opportunity
  to form ad-hoc groups working on specific project
 s, but also to discuss in more general terms the v
 ision of constructing correct programs from proofs
 .</p>\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
 t/pc18.php
CONTACT:xu at math.lmu.de
END:VEVENT
END:VCALENDAR