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/2025/newsitem/15678/14
 ---20-September-2025-Autumn-School-“Proof-and-Comp
 utation”-Herrsching-Germany
DTSTAMP:20250605T232400
SUMMARY:Autumn School “Proof and Computation”, Her
 rsching, Germany
DTSTART;VALUE=DATE:20250914
DTEND;VALUE=DATE:20250920
LOCATION:Herrsching, Germany
DESCRIPTION:This year's international autumn schoo
 l "Proof and Computation" will be held from 14th t
 o 20th September 2025 at Haus der bayerischen Land
 wirtschaft in Herrsching near Munich. Its aim is t
 o bring together young researchers in the fields o
 f Foundations of Mathematics, Computer Science and
  Philosophy.  Scope: Predicative Foundations, Cons
 tructive Mathematics and Type Theory, Computation 
 in Higher Types, and Extraction of Programs from P
 roofs.There will be an opportunity to form ad-hoc 
 groups working on specific projects, but also to d
 iscuss in more general terms the vision of constru
 cting correct programs from proofs.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This year's in
 ternational autumn school &quot;Proof and Computat
 ion&quot; will be held from 14th to 20th September
  2025 at Haus der bayerischen Landwirtschaft in He
 rrsching near Munich. Its aim is to bring together
  young researchers in the fields of Foundations of
  Mathematics, Computer Science and Philosophy.</p>
 \n  <p>Scope: Predicative Foundations, Constructiv
 e Mathematics and Type Theory, Computation in High
 er Types, and Extraction of Programs from Proofs.T
 here will be an opportunity to form ad-hoc groups 
 working on specific projects, but also to discuss 
 in more general terms the vision of constructing c
 orrect programs from proofs.</p>\n
URL:https://www.mathematik.uni-muenchen.de/~schwic
 ht/pc25.php
CONTACT:Valentin Herrmann at herrmann+pc25 at math
 .lmu.de
END:VEVENT
END:VCALENDAR