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/2019/newsitem/10626/20
---26-September-2019-Fourth-International-Autumn-S
chool-Proof-Computation-Herrsching-Germany
DTSTAMP:20190523T180220
SUMMARY:Fourth International Autumn School "Proof
& Computation", Herrsching, Germany
DTSTART;VALUE=DATE:20190920
DTEND;VALUE=DATE:20190926
LOCATION:Herrsching, Germany
DESCRIPTION:The aim of the autumn school is to bri
ng together young researchers in the field of Foun
dations of Mathematics, Computer Science and Philo
sophy. Scope: Predicative Foundations, Constructiv
e Mathematics and Type Theory, Computation in High
er Types, and Extraction of Programs from Proofs.
Courses include Ingo Blechschmidt on Generalized
Spaces for Constructive Algebra, Stefania Centron
e on Proof Theory, Thierry Coquand on Applications
of Type Theory, Anton Freund on Dilators, Tatsuj
i Kawai on Concepts of Continuity, and Dominique L
archey on Extraction of Programs in Coq. There wil
l be an opportunity to form ad-hoc groups working
on specific projects, but also to discuss in more
general terms the vision of constructing correct p
rograms from proofs.
X-ALT-DESC;FMTTYPE=text/html:\n The aim of the
autumn school 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 The
ory, Computation in Higher Types, and Extrac
tion of Programs from Proofs.

\n\n Courses
include Ingo Blechschmidt on Generalized Spaces fo
r Constructive Algebra, Stefania Centrone on Proof
Theory, Thierry Coquand on Applications of Type T
heory, Anton Freund on Dilators, Tatsuji Kaw
ai on Concepts of Continuity, and Dominique Larche
y on Extraction of Programs in Coq. There will be
an opportunity to form ad-hoc groups working on sp
ecific projects, but also to discuss in more gener
al terms the vision of constructing correct progra
ms from proofs.

\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
t/pc19.php
CONTACT:xu at math.lmu.de
END:VEVENT
END:VCALENDAR