An international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 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.
Topics: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.