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




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

Practical Information and Registration

Deadline for registration: July 15, 2019
Information about registration will be available soon.

Submissions for contributed talks are collected via registration.


For any question regarding the event you can contact the organizing committee at or or or

Local Organizing Committee

  • Arnold Beckmann, Swansea University
  • Ulrich Berger, Swansea University (Co-chair)
  • 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


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

Impressions from Swansea

The Computational Foundry at Swansea University