7th International School and Workshop on Proof Theory

In Person and Online

Event Type Conference
Submission Deadline 7/27/2025
Start Date 9/1/2025
End Date 9/5/2025
City and Country Ghent, Belgium
Website https://proof2025.ugent.be/
Organized by Ghent University

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, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.