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/2021/newsitem/11674/13
 ---14-September-2021-5th-International-Autumn-Scho
 ol-Proof-and-Computation-Online
DTSTAMP:20210913T140216
SUMMARY:5th International Autumn School "Proof and
  Computation" , Online
DTSTART;VALUE=DATE:20210913
DTEND;VALUE=DATE:20210914
LOCATION:Online
DESCRIPTION:The aim of  the autumn school "Proof a
 nd Computation" is to bring together young researc
 hers in the field of Foundations of Mathematics, C
 omputer 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 opportu
 nity to form ad-hoc groups working on specific pro
 jects, but also to discuss in more general terms t
 he vision of constructing correct programs from pr
 oofs.  Unfortunately because of the present situat
 ion we had to cancel the event. More precisely, it
  will be held as an online workshop from 13th to 1
 4th September 2021.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of&nbs
 p; the autumn school &quot;Proof and Computation&q
 uot; is to bring together young researchers in the
  field of Foundations of Mathematics, Computer Sci
 ence and Philosophy. Scope: Predicative Foundation
 s, Constructive Mathematics and Type Theory, Compu
 tation in Higher Types, and&nbsp; Extraction of Pr
 ograms from Proofs. There will be an opportunity t
 o form ad-hoc groups working on specific projects,
  but also to discuss in more general terms the vis
 ion of constructing correct programs from proofs.<
 /p>\n\n  <p>Unfortunately because of the present s
 ituation we had to cancel the event. More precisel
 y, it will be held as an online workshop from 13th
  to 14th September 2021.</p>\n
URL:https://www.mathematik.uni-muenchen.de/~schwic
 ht/pcv21.php
CONTACT:koepp at math.lmu.de
END:VEVENT
END:VCALENDAR