Zum Inhalt springen
Internationale Herbstschule "Proof and Computation"
Seit 2016 veranstaltet das Mathematische Institut eine einwöchige Herbstschule im September, abwechselnd im Aurachhof in Fischbachau und im Haus der bayerischen Landwirtschaft in Herrsching. Organistoren sind die Professoren Klaus Mainzer (TUM), Peter Schuster (Universitaet Verona) und Helmut Schwichtenberg (LMU).
Vom 14. bis 20. September 2025 findet im Haus der Bayerischen Landwirtschaft in Herrsching bei München eine internationale Herbstschule zum Thema „Proof and Computation” statt.
Ziel ist es, junge Forscher aus den Bereichen Grundlagen der Mathematik, Informatik und Philosophie zusammenzubringen.
Autumn school "Proof and Computation", 15th to 21st September 2025
Frühere Herbstschulen dieser Reihe waren:
- http://www.mathematik.uni-muenchen.de/~schwicht/PC/pc24.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc23.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc22.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pcv21.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc19.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc18.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc17.php
- http://www.mathematik.uni-muenchen.de/~schwicht/pc16.php
Scope:
- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs
Die Herbstschule wird seit 2016 unterstützt duch die Udo Keller Stiftung in Hamburg.