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.
- 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:
- The Coq Workshop 2019
- Proof Ground: Interactive Proving Contests
- SpISA 2019: Workshop on Instruction Set Architecture Specification