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.

Important Information

Workshop dinner: The workshop dinner will be held in Eetkaffee Multatuli, on Thursday (Sept. 4) from 19:30 onwards.

Program: The program for the Summer School (M, T, W) and Workshop (Th, F) is now available.

Contributed talks: Contributed talks will be 15 minutes long, with 5 minutes interim time.

Location: The school and workshop will be held at Sint-Baafshuis Gent. More information (and a map) can be found here.

Infomation about past deadlines and updates can be found in the archive.

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:

~~Mohammad Ardeshir~~ (cancelled by the speaker)
Ali Enayat
Raheleh Jalali
Henry Towsner
Albert Visser

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:

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

Contributed talks

Speakers for contributed talks will have 15 minutes for their presentation, using slides or with the whiteboard, with 5 additional minutes for questions and changing rooms.

As is traditional for the Proof Society workshop, there will be an award for the Best Student Presentation at the workshop.

Submission Guidelines

For the Workshop, we solicited submissions of short abstracts of up to 2 pages (not including references), to be presented as a short talk.

There are no formal published proceedings, but accepted abstracts will be made available for the workshop.

The past deadlines can be found in the archive.