Proof Society 2026
The 8th International School and Workshop on Proof Theory will take place on 7-11 September 2026 in Aussois (France). As usual, the event will feature both a School and a Workshop on Proof Theory. For more details,...
The 8th International School and Workshop on Proof Theory will take place on 7-11 September 2026 in Aussois (France). As usual, the event will feature both a School and a Workshop on Proof Theory. For more details,...
The 7th International School and Workshop on Proof Theory will take place on 1-5 September 2025 at the University of Ghent. The event will comprise a Summer School (1-3 September), offering five tutorials on topics related to...