7th International School and Workshop on Proof Theory
In Person and OnlineEvent 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. |
|