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.
ITP'26 is scheduled for 26-29 July, 2026, is part of FLoC'26, and will be held at Lisbon, Portugal.
For more information check the FLoC website.