Workshop on Proof Theory and its Applications
Swansea, September 11-13, 2019
The 2nd Workshop on Proof Theory and its Applications will be hosted by the Department of Computer Science at Swansea University under the auspices of The Proof Society and is sponsored by the London Mathematical Society, the College of Science at Swansea University, and the Institute of Coding in Wales.
The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion, aiming to fulfil the mission of The Proof Society
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 Workshop will be co-located with the 2nd Proof Society Summer School which will take place on 8-11 September.
The 1st Workshop on Proof Theory and its Applications took place in Ghent in 2018.
- Adam Wyner (Swansea University): tba
- Antonina Kolokolova (Memorial University of Newfoundland): Proofs, algorithms, learning
- Gilles Dowek (ENS Paris-Saclay): Reverse mathematics and formal proofs
- Helmut Schwichtenberg (LMU Munich): Computational content of proofs
- Laura Crosilla (University of Oslo): Philosophy of mathematics and proof theory
|Time||Wed, 11/9||Thu, 12/9||Fri, 13/9|
|09:00 – 10:00||Dowek: Reverse mathematics and formal proofs||Schwichtenberg: Computational content of proofs|
|10:00 – 11:00||Contributed talks||Contributed talks|
|11:00 – 11:15||Coffee||Coffee|
|11:15 – 12:15||Contributed talks||Contributed talks|
|12:15 – 13:15||Contributed talks||Kolokolova: Proofs, algorithms, learning|
|13:15 – 15:00||Lunch|
|15:00 – 16:00||Wyner||Crosilla: Philosophy of mathematics and proof theory|
|16:00 – 16:30||Coffee||Coffee|
|16:30 – 17:30||Contributed talks||Contributed talks|
|From 17:30||AGM and Conference Dinner|
Department of Computer Science
Swansea SA1 8EN
Practical Information and Registration
Registration fee: £40
15 July 2019: Abstract submission deadline for contributed talks (send an email to email@example.com with “Proof Society Workshop Talk” in the subject)
17 July 2019: Notification of acceptance of contributed talks
22 July 2019: Workshop registration deadline
To register fill in the registration form and the organisers will get back to you with the confirmation.
Payments for registration and accommodation can be made via a bank transfer or a credit card. Once your payment is arranged, please contact firstname.lastname@example.org to confirm your registration.
- For bank transfers, the details are the following:
Bank Name: LLoyds TSB
Bank Address: PO Box 66, Swansea, GB
Branch Sort Code: 30-95-46
Branch Swift: LOYDGB21101
IBAN Number: GB64LOYD30954602783215
Bank Account Number: 02783215
Bank Account Name: Swansea University
VAT Number: 123 8534 77
- If you prefer to pay by a credit card, please contact the central finance cash office +44 1792 604577, quoting the reference number CSZ1000-107.
Travelling to Swansea Bay Campus
Information on how to get to Swansea is available here. (https://www.swansea.ac.uk/the-university/location/bay-campus/).
You can also fly to Bristol airport and take a National Express (https://www.nationalexpress.com) bus to Bay Campus with one change at the Bristol bus station. We do recommend booking bus and train tickets in advance as you will get a better price.
If you travel from Cardiff, you can also take X10 bus and ask the driver to stop by the Bay campus. There is no need to book this service in advance. The schedule for X10 bus is available here. (https://www.firstgroup.com/south-west-wales/routes-and-maps/x10-swansea-cardiff-express)
A limited number of ensuite on-campus accommodation (GBP 50 per night) has been reserved for the Summer School and the Workshop. To book fill in the event registration form (above) and the organisers will get back to you. In order to secure accommodation we recommend to register as soon as possible.
For any question regarding registration and accommodation please contact email@example.com
If you have any other enquiries, you can contact the organizing committee at firstname.lastname@example.org or email@example.com or firstname.lastname@example.org or email@example.com
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
- Bahareh Afshari, University of Gothenburg
- Matthias Baaz, TU Wien
- Arnold Beckmann, Swansea University (Chair)
- Ulrich Berger, Swansea University
- Lev Beklemishev, Steklov Mathematical Institute
- Balthasar Grabmayr, Humboldt University of 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
The summer school and the workshop are sponsored by the London Mathematical Society, the College of Science at Swansea University, and the Institute of Coding in Wales.
Impressions from Swansea
The Computational Foundry at Swansea University