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, we refer to the website of the event: https://proofsociety26.sciencesconf.org/