AUTUMN SCHOOL "PROOF and COMPUTATION"
Date: 15.09.2024 - 21.09.2024
This year's international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.
Organisation & Lecture: EASA President Klaus Mainzer
SCOPE
--------------------
- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs
COURSES
--------------------
- Thierry Coquand (Gothenburg): Topos theory and constructive mathematics
- Klaus Mainzer (Munich): From Proof and Computation to AI - Logical, Mathematical, and Philosophical Foundations
- Gerhard Jäger (Bern): Foundations of explicit mathematics
- Sara Negri (Padua): Enriched syntax for enhanced proof theory
- Monika Seisenberger (Swansea): Extraction of programs from proofs
- Holger Thies (Kyoto): Extracting efficient programs from proofs in analysis
- Freek Wiedijk (Nijmegen): The De Bruijn criterion versus the Poincare principle
WORKING GROUPS
--------------------
There 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 correct programs from proofs.
The workshop is supported by the Udo Keller Stiftung (Hamburg) and the COST Action EuroProofNet.
Organisation Committee:
How to get there
The default arrival time is Sunday afternoon, and departure time Saturday after breakfast. There are frequent direct trains from Munich Hauptbahnhof, departing (at tracks 27-36, Bayerische Regiomalbahn BRB in the direction to Bayerischzell) for instance 15:04, 16:04, 17:04 with arrival in Fischbachau at 16:13, 17:14, 18:13. From the train station in Fischbachau it is an easy 200 meter walk to Aurachhof; see its website for directions.
Place: Aurachhof, Fischbachau, Munich
Time:
