CFP
Proof Society 2025: 7th International School and Workshop on Proof Theory Gent, Belgium, September 1-5, 2025 |
| Conference website | https://proof2025.ugent.be/ |
| Submission link | https://easychair.org/conferences/?conf=proofsociety2025 |
| Abstract registration deadline | June 2, 2025 |
| Submission deadline | June 2, 2025 |
Submission Guidelines
For the Workshop, we solicit submissions of short abstracts of up to 2 pages (not including references), to be presented as a short talk. There are no formal published proceedings, but accepted abstracts will be made available for the workshop.
Committees
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
Contact
All questions about submissions should be emailed to mojtahedy@gmail.com