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 * Notification of acceptance for submitted abstracts: 14th of July * Registration deadline: 31st of July * Summer School: 1st to 3rd of September * Workshop: 4th and 5th of September REGISTRATION Registration is now open. The fees are: * Summer School (regular): 150 euros * Summer School (students): 100 euros * Workshop (regular): 150 euros * Workshop (students): 100 euros * Social dinner: 40 euros * Excursion: 20 euros Further information (and discounts for Flemish students) can be found on the conference website. BEST STUDENT PRESENTATION AWARD As is traditional for the proof Society Workshop, there will be an award for the best student presentation. TUTORIAL SPEAKERS FOR THE SUMMER SCHOOL * Mohammad Ardeshir * Ali Enayat * Raheleh Jalali * Henry Towsner * Albert Visser INVITED SPEAKERS FOR THE WORKSHOP * Juan Pablo Aguilera * Toshiyasu Arai * Iris van der Giessen * Anton Setzer * Arnold Beckmann, who will give a talk in memoriam of Wolfram Pohlers 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
