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.
Invited Speakers
TBA
Program Schedule
TBA