8-13 Sep 2019
Swansea, Wales
========================================================= Call for participation 2nd Proof Society Summer School Swansea, September 8-11, 2019 http://www.proofsociety.org/summer-school-2019/ Registration deadline: 8 July 2019 ========================================================= Call for participation and contributed papers 2nd Workshop on Proof Theory and its Applications Swansea, September 11-13, 2019 http://www.proofsociety.org/workshop-2019/ Submission of contributed talks deadline: 15 July 2019 ========================================================= IMPORTANT DATES 8 July 2019: Summer School application deadline 15 July 2019: Submission of contributed workshop talks deadline 17 July 2019: Notification of acceptance of contributed talks 22 July 2019: Workshop registration deadline 8-11 September 2019: Summer School 11-13 September 2019: Workshop MISSION AND SCIENTIFIC AIMS The mission of The Proof Society is 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 it most important goals; to actively promote proof to increase its visibility and representation. The aim of the Proof Society Summer School is to cover basic and advanced topics in proof theory. The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse mathematics, type theory and bounded arithmetic. The intended audience for the Summer School is PhD students, postdocs, advanced master students, and experienced experienced researchers new to the field in mathematics, computer science and philosophy. The aim of the colocated 2nd Workshop on Proof Theory and its Applications is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The 1st Workshop and International Summer School on Proof Theory took place in Ghent in 2018. SPEAKERS AT THE SUMMER SCHOOL Rosalie Iemhoff (Utrecht University) - Universal Proof Theory Wolfram Pohlers (University of Munster) - Ordinal Analysis and Proof Theory of Impredicative Theories Paola Bruscoli (University of Bath) - Structural Proof Theory Paulo Oliva (Queen Mary University of London) - Proof mining and functional interpretation Takako Nemoto (Japan Advanced Institute of Science and Technology) - Reverse Mathematics Anton Setzer (Swansea University) - Proof Theory of Martin-Loef Type Theory Arnold Beckmann (Swansea University) - Bounded Arithmetic CONFIRMED INVITED SPEAKERS AT THE WORKSHOP * Antonina Kolokolova (Memorial University of Newfoundland) * Gilles Dowek (ENS Paris-Saclay) * Helmut Schwichtenberg (LMU Munich) * Laura Crosilla (University of Birmingham) * Adam Wyner (Swansea University) More speakers to be announced. REGISTRATION To register and book accommodation follow the instructions on the website. Please submit abstracts for contributed workshop talks via email to u.berger@swansea.ac.uk by July 15, 2019. STUDENT GRANTS A limited number of grants for UK PhD and Research Master students is available which will be awarded on a first-come-first-serve basis. Further details on the website. VENUE Summer School and Workshop will take place in the Computational Foundry on the Bay Campus of Swansea University and will be hosted by the Department of Computer Science. SPONSORS * London Mathematical Society * Association for Symbolic Logic * The Institute of Coding in Wales * College of Science at Swansea University * Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der exakten Wissenschaften PROGRAMME COMMITTEE Bahareh Afshari, University of Gothenburg Matthias Baaz, TU Wien Arnold Beckmann, Swansea University (Chair) Lev Beklemishev, Steklov Mathematical Institute Ulrich Berger, Swansea University Balthasar Grabmayr, Humboldt University Berlin Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Accelia Inc. Monika Seisenberger, Swansea University Anton Setzer, Swansea University Andreas Weiermann, Ghent University LOCAL ORGANIZING COMMITTEE Arnold Beckmann, Swansea University Ulrich Berger, Swansea University (Co-chair) Olga Petrovska, Swansea University Anton Setzer, Swansea University (Co-chair) Monika Seisenberger, Swansea University -- [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