ITP 2019 is the tenth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. It will take place in Portland, Oregon in September 2019.

Important Dates

  • Early registration and hotel block booking deadline: 4 August
  • Main conference: 9 September to 12 September
  • Affiliated events: 8 September and 13 September


The following workshops will be held along with ITP: