📢 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