[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*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 [email protected]
(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
