Proof Society Workshop 2019 Swansea, September 11-13, 2019

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.


Invited Speakers


Schedule

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  

Venue

Department of Computer Science
Computational Foundry
Bay Campus
Swansea University
Crymlyn Burrows
Skewen,
Swansea SA1 8EN


Practical Information and Registration

Registration fee: £40

15 July 2019: Abstract submission deadline for contributed talks (send an email to u.berger@swansea.ac.uk 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.


Payment Information

Payments for registration and accommodation can be made via a bank transfer or a credit card. Once your payment is arranged, please contact olga.petrovska@swansea.ac.uk 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
    Reference: CSZ1000-107

     

  • 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)


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 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.


Contact

For any question regarding registration and accommodation please contact olga.petrovska@swansea.ac.uk

If you have any other enquiries, you can contact the organizing committee at a.beckmann@swansea.ac.uk or u.berger@swansea.ac.uk or a.g.setzer@swansea.ac.uk or m.seisenberger@swansea.ac.uk


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

Programme committee

  • 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

Sponsors

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