Events

Here’s a list of upcoming events featuring proof mining talks:

• Logic Colloquium 2025, July 7-11, 2025, Vienna, Austria.

• Special session at Computability in Europe 2025, July 14-18, 2025, University of Lisbon, Portugal.

  • Proof Theory: Pure and Applied

• Workshop at ESSLLI 2025, July 28 – August 8, 2025, Ruhr-Universität Bochum, Germany.

  • Programs from proofs meets formal mathematics

Here's a list of past events featuring proof mining talks:

• Workshop on Proof Mining 2024, September 4-6, Darmstadt, Germany