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/2024/newsitem/14873/15
 ---21-September-2024-Autumn-school-Proof-and-Compu
 tation-Fischbachau-Germany
DTSTAMP:20240318T124408
SUMMARY:Autumn school "Proof and Computation", Fis
 chbachau, Germany
DTSTART;VALUE=DATE:20240915
DTEND;VALUE=DATE:20240921
LOCATION:Fischbachau, Germany
DESCRIPTION:This year's international autumn schoo
 l "Proof and Computation" will be held from 15th t
 o 21st September 2024 in Fischbachau near Munich. 
 Its aim is to bring together young researchers in 
 the field of Foundations of Mathematics, Computer 
 Science and Philosophy.  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.
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 15th to 21st September
  2024 in Fischbachau near Munich. Its aim is to br
 ing together young researchers in the field of Fou
 ndations of Mathematics, Computer Science and Phil
 osophy.</p>\n  <p>Scope: Predicative Foundations, 
 Constructive Mathematics and Type Theory, Computat
 ion in Higher Types, and Extraction of Programs fr
 om Proofs. There will be an opportunity to form ad
 -hoc groups working on specific projects, but also
  to discuss in more general terms the vision of co
 nstructing correct programs from proofs.</p>\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
 t/pc24.php
CONTACT:Chuangjie Xu at xu at math.lmu.de
END:VEVENT
END:VCALENDAR