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

Travel Grants: Students can apply for a Travel grant from the ASL. The deadline is June 1. Note that you must be an ASL member to be eligible.

Contributed Talks: ~~The deadline for contributed talks is June 2 extended to June 16.~~ ~~Submit via Easychair.~~ Acceptance of contributed talks will be announced on July 14.

Registration: Registration is now open until July 31. There are three different registration forms for

Students at a Flemish university (0 € + 100 €)
Other students (100 € + 100 €)
Regular participants (150 € + 150 €)

with the indicated registration fees for the Summer School and Workshop, respectively.
The optional Excursion (20 €) and Conference Dinner (40 €) are charged additionally.

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
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

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 solicit 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.
~~Abstracts can be submitted through EasyChair.~~ ~~The deadline is June 2 extended to June 16.~~
Acceptance of contributed talks will be announced on July 14.