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/2022/newsitem/13644/26
 -September---1-October-2022-Autumn-School-Proof-Co
 mputation-Fischbachau-Germany
DTSTAMP:20220515T214006
SUMMARY:Autumn School "Proof & Computation", Fisch
 bachau, Germany
DTSTART;VALUE=DATE:20220926
DTEND;VALUE=DATE:20221001
LOCATION:Fischbachau, Germany
DESCRIPTION:This year's international autumn schoo
 l "Proof and Computation" will be held from 26th S
 eptember to 1st October 2022 in Fischbachau near M
 unich. Its aim is to bring together young research
 ers in the field of Foundations of Mathematics, Co
 mputer Science and Philosophy.  Scope: Predicative
  Foundations, Constructive Mathematics and Type Th
 eory, Computation in Higher Types, and Extraction 
 of Programs from Proofs. There will be an opportun
 ity to form ad-hoc groups working on specific proj
 ects, but also to discuss in more general terms th
 e vision of constructing correct programs from pro
 ofs.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This year's in
 ternational autumn school &quot;Proof and Computat
 ion&quot; will be held from 26th September to 1st 
 October 2022 in Fischbachau near Munich. Its aim i
 s to bring together young researchers in the field
  of Foundations of Mathematics, Computer Science a
 nd Philosophy.</p>\n  <p>Scope: Predicative Founda
 tions, Constructive Mathematics and Type Theory, C
 omputation in Higher Types, and Extraction of Prog
 rams from Proofs. There will be an opportunity to 
 form ad-hoc groups working on specific projects, b
 ut also to discuss in more general terms the visio
 n of constructing correct programs from proofs.</p
 >\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
 t/pc22.php
END:VEVENT
END:VCALENDAR