Showing posts with label proof. Show all posts
Showing posts with label proof. Show all posts

Tuesday, 3 June 2025

Proof and Computation Autumn School

📢 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



CCC 2025 Comes to Swansea

This September Swansea will be hosting   CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .