Am 4. Oktober spricht Klaus Mainzer auf der internationalen Herbstschule „Proof and Computation“ in Fischbachau, die er zusammen mit Helmut Schwichtenberg (LMU) und Peter Schuster (U. Verona) vom 4.-7. Oktober über Grundlagen der Mathematik, Informatik und Philosophie organisiert. Die Kurse wenden sich an Postgraduierte der Mathematik, Informatik und Philosophie.
Näheres zum Programm hier.