The Proof Society

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 BLC (British Logic Colloquium), the College of Science at Swansea University, the DVMLG (Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften), the Institute of Coding in Wales, and the London Mathematical Society.

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

  • Adam Wyner (Swansea University): Computational Law – The Case of Autonomous Vehicles
  • 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
  • Ralph Matthes (IRIT Toulouse): Martin Hofmann’s case for non-strictly positive data types – reloaded

Schedule

  Wednesday, 11/09
14:00 – 15:00 Registration
15:00 – 16:00 Adam Wyner: Computational Law – The Case of Autonomous Vehicles
16:00 – 16:30 Coffee break
16:30 – 17:00 Yong Cheng: Exploring the incompleteness phenomenon
17:00 – 17:30 Matthias Baaz: Towards a Proof Theory for Henkin Quantifiers
17:30 – 18:00 Anupam Das, Rajeev Goré & Sonia Marin: On cut-elimination for non-wellfounded proofs: the case of PDL
  Thursday, 12/09
09:00 – 10:00 Gilles Dowek: Logical frameworks, reverse mathematics, and formal proofs translation
10:00 – 10:30 Benjamin Ralph,  Lutz Strassburger: What is a combinatorial proof system?
10:30 – 11:00 William Stirton: Ordinal assignments correlated with notions of reduction
11:00 – 11:30 Coffee break
11:30 – 12:00 Oliver Kullmann: Practical proof theory: practical versions of Extended Resolution
12:00 – 13:00 Ralph Matthes: Martin Hofmann’s case for non-strictly positive data types – reloaded
13:00 – 15:00 Lunch
15:00 – 16:00 Laura Crosilla: Philosophy of mathematics and proof theory
16:00 – 16:30 Coffee break
16:30 – 17:00 Takako Nemoto: Recursion Theory in Constructive Mathematics
17:00 – 17:30 Arno Pauly: Combinatorial principles equivalent to weak induction
17:30 – 18:30 AGM
19:30 Conference dinner
  Friday, 13/09
09:00 – 10:00 Antonina Kolokolova: The proof complexity of reasoning over richer domains
10:00 – 10:30 Joost Joosten,  Ana Borges, Nika Pona: The reduction property revisited
10:30 – 11:30 Helmut Schwichtenberg: Computational content of proofs
11:30 – 15:00 Coffee & Lunch

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 BLC (British Logic Colloquium), the College of Science at Swansea University, the DVMLG (Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften), the Institute of Coding in Wales, and the London Mathematical Society.

Impressions from Swansea

The Computational Foundry at Swansea University