Autumn School 2022

4th International Autumn School on Proof Theory

Utrecht, November 7-10, 2022

The 4th International Autumn School for Proof Theory in Utrecht is arranged under the auspices of The Proof Society, and is sponsored by the Dutch Research Council, Universities of Amsterdam and Utrecht, and the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the Autumn school is to cover basic and advanced topics in proof theory. The focus of the fourth edition will be proof theory of modal logic, computational content of proofs, proof complexity, proof theory of set theory, and philosophical aspects of proof. Other areas such as constructivism and reverse mathematics will be represented through research talks at the following workshop. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The Autumn school is co-located with a workshop on proof theory in Utrecht (11-12 November). We invite proposals for contributed talks at the workshop. These can be on published or unpublished work, as well as work in progress. Best talk presented by a student will receive an award from The Proof Society.

The Autumn school will consist of 5 courses:

  • Computational Content of Proofs by Ulrich Berger (University of Swansea)
  • Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
  • Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
  • Proof Complexity by Raheleh Jalali (University of Utrecht)
  • Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

More information and registration details can be found at


Utrecht University
Janskerkhof 3
3512 BK Utrecht