📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. As a part of it, Ulrich Berger will deliver a course on Program extraction in higher-order logic.
Aimed at PhD students and early-career researchers, the school explores themes across Foundations of Mathematics, Computer Science, and Philosophy, including:
-
Predicative Foundations
-
Constructive Mathematics & Type Theory
-
Computation in Higher Types
-
Program Extraction from Proofs
More details and past editions: https://www.mathematik.uni-muenchen.de/~schwicht/pc25.php