Ingo Blechschmidt (University of Antwerp)
Dominik Kirst (Inria Paris)
Marc Nieper-Wißkirchen (University of Augsburg)
Iosif Petrakis (LMU)
Helmut Schwichtenberg (LMU)
Jakob Werner (Regensburg)
Franziskus Wiesnet (TU Vienna)
Ihsen Yengui (University of Sfax)
| 09:30 – 10:15 | Helmut Schwichtenberg Type Theory with Partial Objects |
| 10:15 – 11:00 | Franziskus Wiesnet On the Limits of Recursive Characterisations in the Refined A-Translation |
| 11:00 – 11:30 | Break |
| 11:30 – 12:15 | Dominik Kirst Not Choosing is Still a Choice |
| 12:15 – 13:00 | Ingo Blechschmidt Noetherian Sets and Rings in Nondeterministic Mathematics |
| 13:00 – 15:00 | Lunch Break |
| 15:00 – 15:45 | Marc Nieper-Wißkirchen External Reasoning in Synthetic Algebraic Geometry |
| 15:45 – 16:30 | Ihsen Yengui The Gröbner Ring Conjecture |
| 16:30 – 17:00 | Break |
| 17:00 – 17:45 | Iosif Petrakis (TBC) Backward Well-Founded Sets |
| 17:45 – 18:30 | Jakob Werner Constructive Elimination Theory for Schemes |
| 19:00 | Dinner (Steinheil 16) |