<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">4th International Autumn School on Proof Theory</div><div class="">Utrecht, November 7-10, 2022</div><div class=""><a href="https://urldefense.com/v3/__http://www.proofsociety.org/autumn-school-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhF-McV0U$" class="">http://www.proofsociety.org/autumn-school-2022/</a></div><div class=""><br class=""></div><div class="">Workshop on Proof Theory</div><div class="">Utrecht, November 11-12, 2022</div><div class=""><a href="https://urldefense.com/v3/__http://www.proofsociety.org/workshop-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhIqwwwK0$" class="">http://www.proofsociety.org/workshop-2022/</a></div><div class=""><br class=""></div><div class="">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. </div><div class=""><br class=""></div><div class="">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. </div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class="">IMPORTANT DATES</div><div class="">==========================</div><div class="">7 August: Deadline for ASL student awards</div><div class="">5 September: Deadline for submission of contributed workshop talks</div><div class="">7 September: Registration opens</div><div class="">15 September: Notification of acceptance of contributed talks</div><div class="">14 October: Early registration deadline </div><div class="">7-10 November: Autumn School</div><div class="">11-12 November: Workshop</div><div class=""><br class=""></div><div class="">Scientific Programme</div><div class="">==========================</div><div class="">The Autumn school will provide five courses:</div><div class=""><br class=""></div><div class="">- Computational Content of Proofs by Ulrich Berger (Swansea University)</div><div class="">- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)</div><div class="">- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)</div><div class="">- Proof Complexity by Raheleh Jalali (Utrecht University)</div><div class="">- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)</div><div class=""><br class=""></div><div class="">Workshop Speakers</div><div class="">==========================</div><div class="">- Benno van den Berg (University of Amsterdam)</div><div class="">- Marta Bílková (Czech Academy of Sciences)</div><div class="">- Sebastian Enqvist (Stockholm University)</div><div class="">- Stefan Hetzl (TU Wien) </div><div class="">- Hajime Ishihara (Japan Advanced Institute of Science and Technology)</div><div class="">- Gerhard Jäger (University of Bern)</div><div class=""><br class=""></div><div class="">Registration</div><div class="">==========================</div><div class="">Standard: 300 (includes conference dinner)</div><div class="">PhD students: 200 (includes conference dinner)</div><div class="">Other students: 80</div><div class=""><br class=""></div><div class="">More information about registration will be available from the website soon.</div><div class=""><br class=""></div><div class="">ASL Student travel award</div><div class="">==========================</div><div class="">Student ASL members may apply for (limited) ASL travel to attend 2022 TPS events by submitting an application three months prior to the meeting.</div><div class=""><br class=""></div><div class="">To apply, please visit the link below and follow the instructions </div><div class=""><a href="https://urldefense.com/v3/__https://aslonline.org/student-travel-awards/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45Juhh1PwxGQ$" class="">https://aslonline.org/student-travel-awards/</a></div><div class=""><br class=""></div><div class="">Programme Committee</div><div class="">==========================</div><div class="">Bahareh Afshari, University of Amsterdam & University of Gothenburg (chair)</div><div class="">Matthias Baaz, TU Wien</div><div class="">Arnold Beckmann, Swansea University</div><div class="">Lev Beklemishev, Steklov Mathematical Institute</div><div class="">Balthasar Grabmayr, University of Haifa</div><div class="">Rosalie Iemhoff, Utrecht University</div><div class="">Joost Joosten, University of Barcelona</div><div class="">Antonina Kolokolova, Memorial University of Newfoundland</div><div class="">Norbert Preining, Mercari Inc.</div><div class="">Andreas Weiermann, University of Ghent</div><div class=""><br class=""></div><div class="">Local organising committee</div><div class="">==========================</div><div class="">Bahareh Afshari, University of Amsterdam (co-chair)</div><div class="">Raheleh Jalali, Utrecht University</div><div class="">Rosalie Iemhoff, Utrecht University (co-chair)</div><div class="">Robin Martinot, Utrecht University</div><div class="">Robert Passman, University of Amsterdam</div><div class=""><br class=""></div><div class="">Sponsors</div><div class="">==========================</div><div class="">Association for Symbolic Logic</div><div class="">Department of Philosophy, Utrecht University</div><div class="">Institute for Logic, Language and Computation, University of Amsterdam</div><div class="">Kurt Gödel Society</div></body></html>