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  <p>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&nbsp; Extrac
 tion of Programs from Proofs.</p>\n\n  <p>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,&nbsp; 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.</p>\n
URL:http://www.mathematik.uni-muenchen.de/~schwich
 t/pc19.php
CONTACT:xu at math.lmu.de
END:VEVENT
END:VCALENDAR