26-29 July, 2026
Seventeenth Conference on Interactive Theorem Proving
Lisbon, Portugal, 2026
, by Deensel, under Creative Commons license.
, by Ввласенко, under Creative Commons license.
, by Alvesgaspar, under Creative Commons license.
, by Ingo Mehling, under Creative Commons license.
Registration
You can register to ITP 2026 using the FLoC 2026 registration page. The registration fees will be announced in early 2026.