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,...
Category: Upcoming Events
Upcoming events