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...
Category: Events
Events related to Proofs
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...