Diese Masterclass in Proof Theory (MCPT) richtet sich in erster Linie an Jungakademiker und Nachwuchsforscher in Mathematik, Philosophie und Informatik mit Interesse an grundlegenden Fragen der Mathematik. Die viertägige Veranstaltung besteht aus Einführungskursen zur Beweistheorie von Michael Rathjen (Leeds) und Peter Schuster (Verona). Diese werden durch fortgeschrittene Abendvorträge von Norbert Gratzl (MCMP, LMU München), Helmut Schwichtenberg (LMU München) und Monika Seisenberger (Swansea) bereichert. Die Veranstaltung findet in den Räumlichkeiten der Carl Friedrich von Siemens-Stiftung statt, direkt neben dem malerischen Münchner Schloss Nymphenburg.