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 proof theory, and a Workshop (4-5 September), featuring invited lectures and contributed talks.
For more details, refer to the website of the event: https://proof2025.ugent.be/