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.


The following workshops will be held along with ITP:

Important Dates

  • Call for papers: January 2019
  • Paper submission: March 31, 2019
  • Author notification: May 31, 2019
  • Camera-ready copy due: July 1, 2019
  • Conference: September 9-12, 2019