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/Events/Conferences/newsitem/161
 67/13---19-September-2026-CfR-Autumn-School-“Proof
 -and-Computation”-Fischbachau-DE-
DTSTAMP:20260504T114148
SUMMARY:CfR: Autumn School “Proof and Computation”
 , Fischbachau [DE]
DTSTART;VALUE=DATE:20260913
DTEND;VALUE=DATE:20260919
LOCATION:Fischbachau [DE]
DESCRIPTION:The aim of the event is to bring toget
 her young researchers in the fields of Foundations
  of Mathematics, Computer Science and Philosophy. 
  There will be an opportunity to form ad-hoc group
 s working on specific projects, but also to discus
 s in more general terms the vision of constructing
  correct programs from proofs.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of the
  event is to bring together young researchers in t
 he fields of Foundations of Mathematics, Computer 
 Science and Philosophy.</p>\n  <p>There will be an
  opportunity to form ad-hoc groups working on spec
 ific projects, but also to discuss in more general
  terms the vision of constructing correct programs
  from proofs.</p>\n
URL:https://www.mathematik.uni-muenchen.de/~schwic
 ht/pc26.php
END:VEVENT
END:VCALENDAR