The International Conference on Interactive Theorem Proving (ITP 2026) will take place on 26-29 July, 2026 in Lisbon, Portugal, as part of FLoC'26. ITP 2026 is part of the ITP conference series whose history goes back to 1988.

ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include, but are not limited to, the following:

    formalizations of computational models
    improvements in interactive theorem prover technology
    formalizations of mathematics
    integration with automated provers and other symbolic tools
    verification of security algorithms
    industrial applications of interactive theorem provers
    formal specification and verification of hardware and software
    user interfaces for interactive theorem provers
    use of theorem provers in education
    concise and elegant worked examples of formalizations (proof pearls)