BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/106
26/20---26-September-2019-Fourth-International-Aut
umn-School-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