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.

News

Important Dates

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

Contact

itp19@cecs.pdx.edu