News and Events: Upcoming Events

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date: 7 - 12 November 2022
Time: 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. 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 computational content of proofs, sequent calculi, proof complexity, proof theory of set theory, and philosophical aspects of proof. Other areas 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. Submissions via the EasyChair conference page. Abstracts are limited to 2 pages including references (12pt, 2cm margins). Authors of accepted abstracts will be asked to provide a tex file for the purpose of a book of abstract which will be made available to the attendees of the workshop. The best talk presented by a student will receive an award from The Proof Society.



7 August: Deadline for ASL student awards

5 September: Deadline for submission of contributed workshop talks

7 September: Registration opens

15 September: Notification of acceptance of contributed talks

14 October: Early registration deadline

7-10 November: Autumn School

11-12 November: Workshop


Scientific Programme

The Autumn school will provide five courses:

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


Workshop Speakers

  • Benno van den Berg (University of Amsterdam)
  • Marta Bílková (Czech Academy of Sciences)
  •  Sebastian Enqvist (Stockholm University)
  • Stefan Hetzl (TU Wien)
  • Hajime Ishihara (Japan Advanced Institute of Science and Technology)
  • Gerhard Jäger (University of Bern)



  • Standard: 300 (includes conference dinner)
  • PhD students: 200 (includes conference dinner)
  • Other students: 80
  • More information about registration will be available from the website soon.


ASL Student travel award

Student ASL members may apply for (limited) ASL travel to attend 2022 TPS events by submitting an application three months prior to the meeting.

To apply, please visit the link below and follow the instructions


Programme Committee

  • Bahareh Afshari, University of Amsterdam & University of Gothenburg (chair)
  • Matthias Baaz, TU Wien
  • Arnold Beckmann, Swansea University
  • Lev Beklemishev, Steklov Mathematical Institute
  • Balthasar Grabmayr, University of Haifa
  • Rosalie Iemhoff, Utrecht University
  • Joost Joosten, University of Barcelona
  • Antonina Kolokolova, Memorial University of Newfoundland
  • Norbert Preining, Mercari Inc.
  • Andreas Weiermann, University of Ghent


Local organising committee

  • Bahareh Afshari, University of Amsterdam (co-chair)
  • Raheleh Jalali, Utrecht University
  • Rosalie Iemhoff, Utrecht University (co-chair)
  • Robin Martinot, Utrecht University
  • Robert Passman, University of Amsterdam



  • Association for Symbolic Logic
  • Department of Philosophy, Utrecht University
  • Institute for Logic, Language and Computation, University of Amsterdam
  • Kurt Gödel Society
For more information, see or contact Bahareh Afshari at .