Ziel der Tagung ist es, junge Nachwuchswissenschaftlerinnen und -wissenschaftler mit renommierten Fachleuten zusammenzubringen, die in den Grundlagen der Mathematik und Informatik tätig sind. Dabei gab es reichlich Gelegenheiten, Ad-hoc-Gruppen zu bilden, die an spezifischen Projekten arbeiten, aber auch in allgemeinerer Weise die Vision zu diskutieren, rechnerische Informationen aus Beweisen zu extrahieren.
Den Eröffnungsvortrag mit dem Titel "Proof and Computation. Perspectives for Mathematics, Computer Science, and Philosophy" hielt TUM Emeritus of Excellence Prof. Klaus Mainzer, Präsident der Europäischen Akademie der Wissenschaften und Künste (EASA). Im weiteren Programm folgten Grußworte, u.a. von TUM Emeriti of Excellence Prof. Arndt Bode, Vizepräsident der Bayerischen Akademie der Wissenschaften (BAdW).
Link zur Webseite der Tagung "Proof and Computation 2022:
PC 2022 (swan.ac.uk)