2024 Meeting of the Proof Society
The 6th meeting of the Proof Society will take place from the 9th of September to the 13th of September 2024 at the University of Birmingham, UK. Please the website of the event for...
Author: grabmayr
2023 Summer School on Proof Theory and its Applications
The 5th International Summer School on Proof Theory and its Applications will take place from the 10th of July to the 12th of July 2023 in Barcelona, Spain. It is organized by the Universitat...
2023 Workshop on Proof Theory and its Applications
The 5th International Workshop on Proof Theory and its Applications will take place the 13th and 14th of July 2023 in Barcelona, Spain, under the auspices of the Proof Society. More information can be...
2022 Workshop on Proof Theory
The 4th International Workshop on Proof Theory will take place from 11th of November to the 12th of November in Utrecht, Netherlands. More information can be found here.
2022 Autumn School on Proof Theory
The 4th International Autumn School for Proof Theory will take place from 7th of November to the 10th of November in Utrecht, Netherlands. More information can be found here.
2021 Workshop on Proof Theory and its Applications
The 3rd Workshop on Proof Theory and its Applications will take place from the 29th of November to the 3rd of December in Funchal, Madeira. The location of the workshop is the Jesuits College...
2021 Winter School on Proof Theory
The 3rd International Winter School on Proof Theory will take place from the 29th of November to the 3rd of December in Funchal, Madeira. The location of the Winter School is the Jesuits College...
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...
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...