Autumn School on Proof Theory 2022

The 4th International Autumn School on Proof Theory will take place on 7-10 November 2022 in Utrecht, the Netherlands. It is organized by the universities of Utrecht and Amsterdam, under the auspices of The Proof Society. You can find the programme and the book of abstracts here.

The location of the school is Janskerkhof 2-3 room 0.13. As an exception, the morning programme on the 8th of November takes place at Drift 21 room 0.32, which is a 5 minute walk from Janskerkhof 2-3. On the 8th of November, a reception will be held.

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 the Autumn 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. The best talk presented by a student will receive an award from The Proof Society. You can submit your proposal at Submissions.

Student ASL members may apply for (limited) ASL Student Travel Awards to attend 2022 TPS events by submitting an application three months prior to the meeting. See Home for more information.

Scientific programme

The Autumn School will provide five courses:

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

The abstracts of these courses can be found in the following document, together with the abstracts of the other contributed talks.

Important dates:

7 August: Deadline for ASL Student Travel Awards
14 October: Early registration deadline
31 October: Final registration deadline
7-10 November: Autumn School
8 November: Reception Autumn School