[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
2nd Workshop on Proof Theory and its Applications
Swansea, September 11-13, 2019
http://www.proofsociety.org/workshop-2019/<http://2nd%20Workshop%20on%20Proof%20Theory%20and%20its%20Applications%20%20Swansea,%20September%2011-13,%202019%20http://www.proofsociety.org/workshop-2019/%20Deadline%20for%20submission%20of%20contributed%20talks:%20%2015%20July%202019%20%20Colocated%20with%20the%20Workshop%20is%20the%20%20%202nd%20International%20Summer%20School%20on%20Proof%20Theory,%20September%208-11,%202019%20http://www.proofsociety.org/summer-school-2019/%20Deadline%20for%20registration:%201%20July%202019%20%20Important%20dates%20===============%20%201%20July%202019:%20Summer%20School%20application%20deadline%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%2015%20July%202019:%20Submission%20of%20contributed%20workshop%20talks%20deadline%2017%20July%202019:%20Notification%20of%20acceptance%20of%20contributed%20talks%20%2022%20July%202019:%20Workshop%20registration%20deadline%20%20%20%20%20%208-11%20September%202019:%20Summer%20School%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%2011-13%20September%202019:%20Workshop%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20Mission%20and%20scientific%20aims%20of%20the%20Workshop%20===========================================%20%20The%20mission%20of%20The%20Proof%20Society%20is%20to%20support%20the%20notion%20of%20proof%20in%20its%20broadest%20sense,%20through%20a%20series%20of%20suitable%20activities;%20to%20be%20therefore%20inclusive%20in%20reaching%20out%20to%20all%20scientific%20areas%20which%20consider%20proof%20as%20an%20object%20in%20their%20studies;%20to%20enable%20the%20community%20to%20shape%20its%20future%20by%20identifying,%20formulating%20and%20communicating%20it%20most%20important%20goals;%20to%20actively%20promote%20proof%20to%20increase%20its%20visibility%20and%20representation.%20%20The%202nd%20Workshop%20on%20Proof%20Theory%20and%20its%20Applications,%20organised%20under%20the%20auspices%20of%20The%20Proof%20Society,%20will%20bring%20together%20researchers%20on%20proof%20theory%20and%20its%20applications.%20%20%20The%20aim%20of%20the%20meeting%20is%20to%20reflect%20on%20the%20mission%20of%20The%20Proof%20Society,%20through%20a%20series%20of%20invited%20and%20contributed%20talks,%20as%20well%20as%20a%20panel%20discussion.%20%20The%201st%20Workshop%20and%20International%20Summer%20School%20on%20Proof%20Theory%20took%20place%20in%20Ghent%20in%202018.%20%20Confirmed%20Invited%20Speakers%20==========================%20%20Laura%20Crosilla%20%20(University%20of%20Birmingham)%20%20Antonia%20Kolokolova%20%20(Memorial%20University%20of%20Newfoundland)%20%20Helmut%20Schwichtenberg%20(LMU%20Munich)%20%20More%20speakers%20to%20be%20announced.%20%20Paper%20submission%20and%20Registration%20=================================%20%20To%20submit%20a%20paper%20(by%2015%20July)%20and%20to%20register%20(by%2022%20July)%20follow%20the%20instructions%20on%20the%20website.%20%20Venue%20=====%20%20Summer%20School%20and%20Workshop%20will%20take%20place%20in%20the%20Computational%20Foundry%20on%20the%20Bay%20Campus%20of%20Swansea%20University%20(Swansea%20SA1%208EN)%20and%20will%20be%20hosted%20by%20the%20Department%20of%20Computer%20Science.%20%20Programme%20Committee%20===================%20%20Bahareh%20Afshari,%20University%20of%20Gothenburg%20Matthias%20Baaz,%20TU%20Wien%20Arnold%20Beckmann,%20Swansea%20University%20(Chair)%20Lev%20Beklemishev,%20Steklov%20Mathematical%20Institute%20Ulrich%20Berger,%20Swansea%20University%20Balthasar%20Grabmayr,%20Humboldt%20University%20Berlin%20Rosalie%20Iemhoff,%20Utrecht%20University%20Joost%20Joosten,%20University%20of%20Barcelona%20Antonina%20Kolokolova,%20Memorial%20University%20of%20Newfoundland%20Norbert%20Preining,%20Accelia%20Inc.%20Monika%20Seisenberger,%20Swansea%20University%20Anton%20Setzer,%20Swansea%20University%20Andreas%20Weiermann,%20Ghent%20University%20%20Local%20organizing%20committee%20==========================%20%20Arnold%20Beckmann,%20Swansea%20University%20Ulrich%20Berger,%20Swansea%20University%20(Co-chair)%20Olga%20Petrovska,%20Swansea%20University%20Anton%20Setzer,%20Swansea%20University%20(Co-chair)%20Monika%20Seisenberger,%20Swansea%20University%20%20Accommodation%20=============%20%20A%20limited%20number%20of%20ensuite%20on-campus%20accommodation%20(GBP%2050%20per%20night)%20has%20been%20reserved%20for%20the%20Summer%20School%20and%20the%20Workshop.%20%20%20To%20book%20contact%20the%20local%20organizers%20asap.>
Deadline for submission of contributed talks: 15 July 2019
Colocated with the Workshop is the
2nd International Summer School on Proof Theory,
September 8-11, 2019
http://www.proofsociety.org/summer-school-2019/
Deadline for registration: 1 July 2019
Important dates
===============
1 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 of the Workshop
===========================================
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 2nd 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 1st Workshop and International Summer School on Proof Theory took place in
Ghent in 2018.
Confirmed Invited Speakers
==========================
Laura Crosilla (University of Birmingham)
Antonia Kolokolova (Memorial University of Newfoundland)
Helmut Schwichtenberg (LMU Munich)
More speakers to be announced.
Paper submission and Registration
=================================
To submit a paper (by 15 July) and to register (by 22 July) follow the
instructions on the website.
Venue
=====
Summer School and Workshop will take place in the Computational
Foundry<https://www.swansea.ac.uk/science/computationalfoundry/> on the Bay
Campus of Swansea University
<https://www.google.com/maps/place/Skewen,+Swansea+SA1+8EN/@51.6185795,-3.882095,17z/data=!4m5!3m4!1s0x486e6077f6ee67b3:0xed3807236cca1417!8m2!3d51.6185762!4d-3.879901>
(Swansea SA1 8EN) and will be hosted by the Department of Computer Science.
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
Accommodation
=============
A limited number of ensuite on-campus accommodation (GBP 50 per night) has been
reserved for the Summer School and the Workshop.
To book contact the local organizers asap.
