WELCOME TO ITP 2024!

The fifteenth edition of International Conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is part of the ITP conference series whose history goes back to 1988.

ITP 2024 will be organized as a hybrid event.

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 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 aspects 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)

Contact

If you have any problems or questions, please contact us via e-mail at: itp2024tbilisi@gmail.com