Category: Events

Events related to Proofs

0

2019 Workshop on Proof Theory and its Applications

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

0

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

Het Pand by Hilde Christiaens 0

2018 Summer School on Proof Theory

The 1st International Summer School on Proof Theory is arranged under the auspices of The Proof Society and will take place from September 2-5, 2018 in Ghent. The focus of the first edition will...

0

2018 Workshop on Proof Theory and its Applications

The 1st Workshop on Proof Theory and its Applications will be the inaugural meeting of The Proof Society. It will take place from September 6-7, 2018 in Ghent. The aim of the meeting is...