9 - 12 July 2018, 9th International Conference on Interactive Theorem Proving (ITP 2018), Oxford, England
The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.
ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used. In addition to regular papers, there will be a section for shorter papers, which can be used to describe interesting work that is still ongoing and not fully mature.