Proof Society 2026
The 8th International School and Workshop on Proof Theory will take place on 7-11 September 2026 in Aussois (France). More details will follow soon!
Author: Marianna Girlando
Proof Society 2025
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...