Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-23T18:45:33.013Z Has data issue: false hasContentIssue false

PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 2022

Published online by Cambridge University Press:  11 November 2024

Rights & Permissions [Opens in a new window]

Abstract

Type
Meeting Report
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The 4th Workshop on Proof Theory and its Applications and the 4th International Autumn School on Proof Theory took place on November 7–12, 2022 in Utrecht, the Netherlands, under the auspices of The Proof Society.

These events attracted nearly 90 registered participants, including 18 masters and 44 doctoral students. The Program Committee consisted of Bahareh Afshari (chair), Matthias Baaz, Arnold Beckmann, Lev Beklemishev, Balthasar Grabmayr, Rosalie Iemhoff, Joost J. Joosten, Antonina Kolokolova, Norbert Preining, and Andreas Weiermann. A total of 11 invited lectures were delivered at the meeting: five 3-hour tutorial lectures and six 1-hour research lectures. An additional 31 contributed talks were given, by speakers mostly from central Europe, Scandinavia, and the UK.

Tutorial lectures:

  • 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)

Research lectures:

  • Benno van den Berg (University of Amsterdam)

  • Sebastian Enqvist (Stockholm University)

  • Stefan Hetzl (TU Wien)

  • Hajime Ishihara (Japan Advanced Institute of Science and Technology)

  • Gerhard Jäger (University of Bern)

  • Sonia Marin (University of Birmingham)

The meeting was hosted by the Department of Philosophy at the University of Utrecht, and sponsored by Association for Symbolic Logic, Evert Willem Beth Foundation, Kurt Gödel Society, Department of Philosophy at the Utrecht University, Institute for Logic, Language and Computation at the University of Amsterdam and Association for Logic, Language and Information.

The members of the Organising Committee were Bahareh Afshari (co-chair), Saul Gebhardt, Sophie Glade, Menno Hellinga, Rosalie Iemhoff (co-chair), Raheleh Jalali, Robin Martinot, Thierry Orth, and Robert Passmann.

The conference site https://uswpt.sites.uu.nl offers more information.

On behalf of the Organising Committee

Bahareh Afshari

May 24, 2023