Forschungstreffen 26219
Book Project: Introductory Textbook on Proof Complexity
( 18. May – 22. May, 2026 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/26219
Organisatoren
- Nicola Galesi (Sapienza University of Rome, IT)
- Jacobo Torán (Universität Ulm, DE)
Kontakt
- Heike Clemens (für administrative Fragen)
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
