1-5 September 2025
Ghent, Belgium
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society<https://www.proofsociety.org/>. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto<https://www.proofsociety.org/the-proof-manifesto/>, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond. More information can be found on the website: https://proof2025.ugent.be/ IMPORTANT DATES * (For ASL members) Deadline for the application for ASL student travel awards: 1st of June (three months before the start of the conference, see https://aslonline.org/student-travel-awards/ for more information) * Deadline for submission of abstracts for the Workshop: 2nd of June * Summer School: 1st to 3rd of September * Workshop: 4th and 5th of September REGISTRATION Registration will open soon. The fees are: * Summer School (regular): 150 euros * Summer School (students): 100 euros * Workshop (regular): 150 euros * Workshop (students): 100 euros BEST STUDENT PRESENTATION AWARD As is traditional for the proof Society Workshop, there will be an award for the best student presentation. PROGRAM COMMITTEE * Fedor Pakhomov * Bahereh Afshari * Lev Beklemishev * Benno van den Berg * Lorenzo Carlucci * David Fernández-Duque * Balthasar Grabmayr * Stefan Hetzl * Jan Heylen * Rosalie Iemhoff * Mateusz Łełyk * Maria Emilia Maietti * Nicholas Pischke * Takako Nemoto * Monika Seisenberger * Johannes Stern ORGANIZING COMMITTEE * Andreas Weiermann * Fedor Pakhomov * Giovanni Soldà * Mojtaba Mojtahedi * Brett McLean * Alakh Dhruv Chopra * Philipp Provenzano * Lukas Matthias Zenger * Vlad Lazar * Jan Heylen * Daisie Job Rock * Jozefien D’haeseleer * Morgan Callewaert * Joke Meheus -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php