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 2026 Organization
Program co-chairs
Ekaterina Komendantskaya
Tobias Nipkow
Publicity chair
Natalia Ślusarz
Programme Committee
| Mohammad Abdulaziz | King's College London |
| Reynald Affeldt | AIST |
| Guillaume Allais | University of Strathclyde |
| Robert Atkey | University of Strathclyde |
| Jeremy Avigad | Carnegie Mellon University |
| Jasmin Blanchette | LMU Munich |
| Sandrine Blazy | University of Rennes |
| Sylvie Boldo | INRIA |
| Edwin Brady | University of St Andrews |
| Alessandro Bruni | ITU Copenhagen |
| Swarat Chaudhuri | University of Texas, Austin |
| Matthew Daggitt | The University of Western Australia |
| Sander Dahmen | VU Amsterdam |
| Floris van Doorn | University of Bonn |
| Manuel Eberl | University of Innsbruck |
| Amy Felty | University of Ottawa |
| Jacques Fleuriot | University of Edinburgh |
| Yannick Forster | INRIA |
| María Inés de Frutos-Fernández | University of Bonn |
| Ralf Jung | ETH Zürich |
| Ambrus Kaposi | Eötvös Loránd University |
| Yonghyun Kim | Seoul National University |
| Katherine Kosaian | University of Iowa |
| K. Rustan M. Leino | Amazon Web Services |
| Robert Y. Lewis | Brown University |
| Heather Macbeth | Imperial College London |
| Assia Mahboubi | INRIA |
| William Mansky | University of Illinois Chicago |
| Micaela Mayero | Sorbonne Paris Nord University |
| Magnus Myreen | Chalmers University of Technology |
| Grant Passmore | Imandra |
| Andrei Popescu | University of Sheffield |
| François Pottier | INRIA |
| Talia Ringer | University of Illinois at Urbana-Champaign |
| Christine Rizkallah | The University of Melbourne |
| Nikhil Swamy | Microsoft Redmond |
| Nicolas Tabareau | INRIA |
| Yong Kiam Tan | Nanyang Technological University and Institute for Infocomm Research, A*STAR, Singapore |
| Joseph Tassarotti | New York University |
| Enrico Tassi | INRIA |
| Laura Titolo | Code Metal |
| Dmitriy Traytel | University of Copenhagen |
| Niccolò Veltri | Tallinn University of Technology |
| Akihisa Yamada | AIST |