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 This year's in
ternational autumn school "Proof and Computat
ion" 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.

\n 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.

URL:http://www.mathematik.uni-muenchen.de/~schwich
t/pc22.php
END:VEVENT
END:VCALENDAR