Logic List Mailing Archive

Autumn School & Workshop on Proof Theory

7-12 Nov 2022
Utrecht, The Netherlands

4th International Autumn School on Proof Theory
Utrecht, November 7-10, 2022
http://www.proofsociety.org/autumn-school-2022/

Workshop on Proof Theory
Utrecht, November 11-12, 2022
http://www.proofsociety.org/workshop-2022/

The 4th International Autumn School on Proof Theory in Utrecht is arranged 
under the auspices of The Proof Society and organised by the universities of 
Amsterdam and Utrecht. 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 a 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.

IMPORTANT DATES
==========================
7 August: Deadline for ASL student awards
5 September: Deadline for submission of contributed workshop talks
7 September: Registration and submission opens
15 September: Notification of acceptance of contributed talks
14 October: Early registration deadline
7-10 November: Autumn School
11-12 November: Workshop

Scientific Programme
==========================
The Autumn school will provide five courses:

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

Workshop Speakers
==========================
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

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

More information about registration will be available from the website soon.

ASL Student travel award
==========================
Student ASL members may apply for (limited) ASL travel to attend 2022 TPS 
events by submitting an application three months prior to the meeting.

To apply, please visit the link below and follow the instructions
https://aslonline.org/student-travel-awards/

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)
Iris van der Giessen, Utrecht University
Rosalie Iemhoff, Utrecht University (co-chair)
Robin Martinot, Utrecht University
Robert Passman, University of Amsterdam

Sponsors
==========================
Association for Symbolic Logic
Department of Philosophy, Utrecht University
Institute for Logic, Language and Computation, University of Amsterdam
Kurt Gödel Society
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam