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 to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as panel discussions. More information can be found here.