[TYPES/announce] Call for participation: The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022

[Bahareh Afshari]

*Apologies for cross posting*

The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022
https://urldefense.com/v3/__https://uswpt.sites.uu.nl__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRfuxYjsaU$  

Important updates
==========================
* Early registration extended to 19 October
* accepted contributed talks available at https://urldefense.com/v3/__https://uswpt.sites.uu.nl/accepted-contributed-papers/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRf1TDX9l4$  
* Abstracts of tutorials and talks available at https://urldefense.com/v3/__https://uswpt.sites.uu.nl/programme/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRflIzdxM4$  
* student fee waivers deadline 28 October (see registration below)

Scientific Programme
==========================
The Autumn school will provide five three-hour long lectures.

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

Invited Workshop Lectures
==========================
- 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)

Registration
==========================
Late registration: 400
Standard: 300 (includes conference dinner)
PhD students: 200 (includes conference dinner)
Other students: 80

Please register via https://urldefense.com/v3/__https://uswpt.sites.uu.nl/registration/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRfP5DjXIU$  

We have limited funding for waiver/reduction of master and PhD student fees. Those interested should write a letter of motivation to b.afshari at uva.nl  (Deadline 28 October)

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)
Saul Gebhardt, Utrecht University
Sophie Glade, Utrecht University
Menno Hellinga, Utrecht University
Rosalie Iemhoff, Utrecht University (co-chair)
Raheleh Jalali, Utrecht University
Robin Martinot, Utrecht University
Thierry Orth, Utrecht University
Robert Passmann, University of Amsterdam

Sponsors
==========================
Association for Symbolic Logic
Beth Foundation
Department of Philosophy, Utrecht University
Institute for Logic, Language and Computation, University of Amsterdam
Kurt Gödel Society