(Updated) 13 - 19 September 2026, CfR: Autumn School “Proof and Computation”, Fischbachau [DE]
Date: 13 - 19 September 2026
Location: Fischbachau [DE]
Target audience: Graduate or PhD students and young postdoctoral researchers
Costs: funding available
Deadline: Monday 1 June 2026
The aim of the event is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.
For more information, see
https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php.