Proof Society 2025

7^th International School and Workshop on Proof Theory
September 1–5, Ghent, Belgium

---

The 7^th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory.

Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks.

Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

---

Summer School on Proof Theory

The school will be held from September 1–3, 2025. It will consist of 5 tutorials of 3 hours each.

The list of tutorial speakers are:

• Ali Enayat
• Henry Towsner
• (rest to be announced)

The fee for the school will be 150 € (regular) or 100 € (reduced).

---

Workshop on Proof Theory

The workshop will be held from September 4–5, 2025. It will consist of 5 invited talks and regular contributed talks.

The list of invited speakers are:

• Toshi Arai
• Juan Pablo Aguilera
• Iris van der Giessen
• Anton Setzer
• Arnold Beckmann, who will give a talk in memoriam of Wolfram Pohlers

Contributed talks

As is traditional for the Proof Society workshop, there will be an award for the Best Student Presentation at the workshop.
The deadline for contributed talks is June 2, 2025.

The fee for the workshop will also be 150 € (regular) or 100 € (reduced).

---

Organization