Logic List Mailing Archive
Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)
== Autumn school "Proof and Computation"
Fischbachau, Germany, 13th to 19th September 2026 https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php
An international autumn school "Proof and Computation" will be held from 13th to 19th September 2026 at Aurachhof[1] in Fischbachau near Munich.
Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy. Previous autumn schools in this series were PC25, PC24, PC23, PC22, PC21, PC19, PC18, PC17, PC16.
=== SCOPE
- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs
=== COURSES
- Manfred Droste (Leipzig): Universal Information Systems
- Tom de Jong (Nottingham): Introduction to Homotopy Type Theory (Univalent Foundations)
- Dominik Kirst (Paris): Constructive (Meta-)Mathematics and Synthetic Computability
- Keisuke Nakano (Sendai) and Masahiko Sato (Kyoto): Algebra and Geometry of the Lambda-Calculus
- Dirk Pattinson (Canberra): Coinduction and Infinite Data
- Daniel Wessel (Munich): Gentzen's Legacy within and beyond Hilbert's Programme
Celebrating the 10th edition of the autumn school we have 3 additional evening lectures:
- Thierry Coquand (Gothenburg): tba
- Gitta Kutyniok (Munich): Reliable and Sustainable AI: From Mathematical Foundations to Next Generation AI Computing
- Hannes Leitgeb (Munich): The Logic of Reason
=== SCHEDULE
Monday Tuesday Wednesday Thursday Friday
09:00-09:50 Mainzer Nakano/Sato de Jong Wessel Kirst
09:50-10:30 *Coffee* *Coffee* *Coffee* *Coffee* *Coffee*
10:30-11:20 Wessel Pattinson Nakano/Sato Droste Pattinson
11:30-12:20 de Jong Groups Groups Groups
15:00-15:50 Droste Wessel Nakano/Sato Droste
15:50-16:30 *Coffee* *Coffee* *Coffee* *Coffee*
16:30-17:20 Pattinson de Jong Kirst Groups
17:30-18:20 Kirst Groups Groups Groups
20:00-21:00 Kutyniok Coquand Leitgeb
=== 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.
=== 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, in the direction to Bayerischzell.
Trains depart for instance 15:29, 16:29, 17:29 with arrival in Fischbachau at 16:44, 17:44, 18:44.
From the train station in Fischbachau it is an easy 200 meter walk to Aurachhof[2]; see also its website[1] for directions.
=== APPLICATIONS
Graduate or PhD students and young postdoctoral researchers are invited to apply. Please apply by following the steps described in
https://www.math.lmu.de/~herrmann/pc26-application/
Note that an application consists in particular of a motivation letter (containing a self-introduction including research interests).
Students are furthermore required to provide a letter of recommendation, preferably from the thesis adviser.
The letter of recommendation should be either sent by the applicant themself together with the application or by the recommender by email to
Valentin Herrmann <herrmann+pc26 (at) math (.) lmu (.) de>
Deadline for applications: June 1, 2026. Applicants will be notified by June 29, 2026.
=== FINANCIAL SUPPORT
The workshop is supported by the Udo Keller Stiftung (Hamburg)[3].
Successful applicants with funding problems may apply for financial support covering accommodation including meals for the days of the autumn school (ca. 116 Euro per day).
Klaus Mainzer[4]
Peter Schuster[5]
Helmut Schwichtenberg[6]
[1] https://www.aurachhof.de/
[2] https://www.openstreetmap.org/node/318141803
[3] https://forum-humanum.org/
[4] https://www.professoren.tum.de/en/mainzer-klaus/
[5] https://www.di.univr.it/?ent=persona&id=21404
[6] https://www.mathematik.uni-muenchen.de/~schwicht
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php