[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026

[Valentin G. J. Herrmann]

== Autumn school "Proof and Computation"
Fischbachau, Germany, 13th to 19th September 2026
https://urldefense.com/v3/__https://www.mathematik.uni-muenchen.de/*schwicht/pc26.php__;fg!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uvvag3Bmg$ 

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://urldefense.com/v3/__https://www.math.lmu.de/*herrmann/pc26-application/__;fg!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uvxLGLMBw$ 

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://urldefense.com/v3/__https://www.aurachhof.de/__;!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uuSLTDALg$ 
[2] https://urldefense.com/v3/__https://www.openstreetmap.org/node/318141803__;!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uvxQynbzw$ 
[3] https://urldefense.com/v3/__https://forum-humanum.org/__;!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1utsmV8ZGg$ 
[4] https://urldefense.com/v3/__https://www.professoren.tum.de/en/mainzer-klaus/__;!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uu7JI9Rkg$ 
[5] https://urldefense.com/v3/__https://www.di.univr.it/?ent=persona&id=21404__;!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uvoGz-PxQ$ 
[6] https://urldefense.com/v3/__https://www.mathematik.uni-muenchen.de/*schwicht__;fg!!IBzWLUs!SM_2B4_Dpa6SPijnASk3DRAjl66F7HqaoFF8GYkO8w6j-r2VpCyTbAqULTqf9zUGtgLt9vq0LljTMCTIy92Ar4WEPCjNoGxhUxns1uvTpSbbFQ$