2019 Summer School on Proof Theory

The 2nd International Summer School on Proof Theory 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 Summer School will be co-located with the 2nd Workshop on Proof Theory and its Applications which will take place on September 11-13. (These events will not overlap, the summer school will end at noon, while the workshop will start in the afternoon of the 11th).

More information and registration details can be found here.