6-7 Sep 2018
Gent, Belgium
1st Workshop on Proof Theory and its Applications Inaugural meeting of The Proof Society Ghent, September 6-7, 2018 http://www.proofsociety.org/workshop-2018/ Deadline for registration: 1 July 2018 Colocated with the workshop is the 1st International Summer School on Proof Theory Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ Deadline for registration: 15 July 2018 Important dates =============== - workshop registration deadline 1 July 2018 - summer school application deadline 15 July 2018 - summer school 2-5 September 2018 - workshop 6-7 September 2018 The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting 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 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. Invited Speakers ================ The following researchers have accepted to speak at the workshop: Andrew Arana (Université Paris 1 - Panthéon-Sorbonne) Rosalie Iemhoff (Utrecht University) Dale Miller (Inria Saclay and LIX) Paulo Oliva (Queen Mary University of London) Pavel Pudlák (Czech Academy of Sciences) Michael Rathjen (University of Leeds) Albert Visser (Utrecht University) Registration ============ To register follow the instructions on the website. Limited number of slots for contributed talks are available, submissions of contributed abstracts are collected via registration. Deadline for registration is 1 July 2018. Programme Committee =================== Bahareh Afshari, University of Gothenburg Matthias Baaz, TU Wien Arnold Beckmann, Swansea University (Chair) Lev Beklemishev, Steklov Mathematical Institute Balthasar Grabmayr, Humboldt University Berlin Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Accelia Inc. Andreas Weiermann, Ghent University Local organizing committee ========================== Arnold Beckmann, Swansea University David Belanger, Ghent University David Fernandez-Duque, Ghent University Lenny Neyt, Ghent University Rafal Urbaniak, Ghent University Andreas Weiermann, Ghent University (Chair) -- [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