Research Meeting 26219
Book Project: Introductory Textbook on Proof Complexity
( May 18 – May 22, 2026 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/26219
Organizers
- Nicola Galesi (Sapienza University of Rome, IT)
- Jacobo Torán (Universität Ulm, DE)
Contact
- Heike Clemens (for administrative matters)
Proof Complexity is an active area of research located between Complexity Theory and Logic and with connections with many other areas in Computer Science. It has been the subject of several Dagstuhl meetings in the past. The project – an introductory textbook on Proof Complexity – is already in an advanced stage and many aspects have to be revised and discussed.
Creative Commons BY 4.0
Nicola Galesi and Jacobo Torán
