The ITP c onference series is concerned with all topics rela ted to interactive theorem proving, ranging from t heoretical foundations to implementation aspects a nd applications in program verification, security, and formalization of mathematics. ITP is the evol ution of the TPHOLs conference series to the broad field of interactive theorem proving.
\nITP welcomes submissions describing or iginal research on all aspects of interactive theo rem proving and its applications. All submissions must be original, unpublished, and not submitted c oncurrently 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 form alization for the proof assistant used. In additio n to regular papers, there will be a section for s horter papers, which can be used to describe inter esting work that is still ongoing and not fully ma ture.
\n