Category: Upcoming Events

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!