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
Dominic Mulligan, Amazon Web Services
Dominique Unruh, RWTH Aachen and University of Tartu
Program Schedule
TBA