Utrecht Autumn Workshop Proof Theory

Autumn Workshop

Workshop on Proof Theory and its Applications 2022

The 4th Workshop on Proof Theory and its Applications will take place on 11-12 November 2002 at Utrecht University, under the auspices of the Proof Society. You can find the programme and the book of abstracts here.

On the 11th of November, we reside in Janskerkhof 2-3 room 0.13. On the 12th, the location will be the Kerkzaal in Zalen van Zeven at the Boothstraat 7. A formal conference dinner will be held on the first day of the workshop.

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion, aiming to fulfil the mission of The Proof Society:

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 it most important goals; to actively promote proof to increase its visibility and representation.

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.

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.

The Workshop will be co-located with the 4th International Autumn School on Proof Theory.

Invited Speakers:
  • Converse extensionality and apartness – Benno van den Berg (University of Amsterdam)
  • Herbrand meets cyclic proofs – Sebastian Enqvist (Stockholm University)
  • Proof-theoretic analysis of automated inductive theorem proving – Stefan Hetzl (TU Wien)
  • Reductio ad absurdum – Hajime Ishihara (Japan Advanced Institute of Science and Technology)
  • Explicit Mathematics Reloaded – Gerhard Jäger (University of Bern)
  • Modal logic and the polynomial hierarchy – Sonia Marin
    (University of Birmingham)

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

Important dates:
15 July: Registration and submission opemns
7 August: Deadline for ASL Student Travel Awards
10 September: Deadline for submission of contributed workshop talks
20 September: Notification acceptance of contributed talks
14 October: Early registration deadline
31 October: Final registration deadline
11-12 November: Autumn Workshop
11 November: Conference dinner Autumn Workshop