Events

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

• Second Workshop on Proof Mining (WPM26), September 7 - 9, 2026, Bath, UK.

• MFO Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, November 15 - 20, 2026, Oberwolfach, Germany.

• Logic Colloquium 2026, June 29 - July 3, 2026, Swansea, UK.

  • Invited Plenary Talk by Nicholas Pischke

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

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

  • Programs from proofs meets formal mathematics

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

  • Proof Theory: Pure and Applied

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

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