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.
- Call for workshops – please submit a proposal by 9 December 2018!
- 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