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

  • Antonia Kolokolova (Memorial University of Newfoundland)
  • Helmut Schwichtenberg (LMU Munich)
  • Laura Crosilla (University of Birmingham)

More speakers to be announced.


Schedule

TBA


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 olga.petrovska@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 and the payment details.


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 and the Institute of Coding in Wales.


Impressions from Swansea

The Computational Foundry at Swansea University