10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
Location : Portland, Oregon, USA
Conference dates : September 8-13, 2019
Important dates :
Early registration: 4 August, 2019
Affiliated Events :
Coq Workshop 2019: 8 September
SplSA 2019: Workshop on Instruction Set Architecture Specification: 13 September
Proof Ground: Interactive Proving Contests: 13 September
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.