Proof Society 2024

6th International School and Workshop on Proof Theory 9-13 September. Birmingham, UK.

General Information

The 6th Proof Society International School and Workshop will be organised by the University of Birmingham. The event takes place under the auspices of The Proof Society, a society formed to support the notion of proof in its broadest sense. The Proof Society has organised an annual school and workshop since 2018 (except 2020 due to the COVID19 pandemic).

The aim of the School is to cover basic and advanced topics in proof theory and related subjects. The School will be aimed at Master's and PhD students interested in proof theory, as well as more senior researchers from related areas in computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks.


The School and Workshop aim to promote proof theory and its related areas in the broadest sense. Topics include but are not limited to:

Invited Lecturers and Speakers

The School will consist of courses by the following lecturers: The Workshop will include invited talks by the following speakers:


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. Please submit your abstracts via easychair:

Important Dates

Best Student Presentation Award

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

Colocation with BLC

PS24 will be colocated with the British Logic Colloquium meeting of 2024, taking place 5-7 September.

Program Committee

Juan Aguilera (Vienna University of Technology & Ghent University)
Gianluca Curzi (University of Gothenburg & University of Birmingham)
Anupam Das (University of Birmingham) [PC Chair]
Anton Freund (University of Würzburg)
Marianna Girlando (University of Amsterdam)
Raheleh Jalali (Czech Academy of Sciences)
Leszek Kolodziejczyk (University of Warsaw)
Stepan Kuznetsov (Steklov Mathematical Institute)
Sonia Marin (University of Birmingham)
Sara Negri (University of Genoa)
Isabel Oitavem (CMA and DM, FCT, Universidade NOVA de Lisboa)
Fedor Pakhomov (Ghent University)
Frank Pfenning (Carnegie Mellon University)
Thomas Powell (University of Bath)
Revantha Ramanayake (University of Groningen)
Alexis Saurin (CNRS)
Keita Yokoyama (Tohoku University)

Local Organisation

Anupam Das [Conference Chair]
Abhishek De
Iris van der Giessen
Jamie Hough
Paul Levy
Sonia Marin
Lukas Melgaard
Paaras Padhiar


Any queries should be sent by email to

Sponsorship and support

Maintained by Anupam Das. Last updated