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/

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.