10th Autumn school "Proof and Computation"
Date: 13.09.26 - 19.09.2026
The international autumn school "Proof and Computation" will be held from 13th to 19th September 2026 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Organisation & Opening Lecture
Prof. Dr.DDr.h.c. Klaus Mainzer, EASA President, TUM
Place: Aurachhof, Fischbachau
Time:
