This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) and Peter Schuster (Verona), the latter focussing on The finite content of transfinite methods. These will be enriched through advanced evening lectures by Norbert Gratzl (MCMP, LMU Munich), Helmut Schwichtenberg (LMU Munich), and Monika Seisenberger (Swansea). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich’s picturesque Nymphenburg Palace and Gardens.
Hosea von Hauff (MCMP), Dominik Kirst (Saarland), Sophie Nagler (Oxford/MCMP), Robert Passmann (ILLC), Hannah Pillin (LSE/MCMP) and Deniz Sarikaya (Hamburg).