Home Categories About Call for Papers

ITP 2021 : International Conference on Interactive Theorem Proving

Rome

Event Date:	June 29, 2021 - July 01, 2021
Abstract Submission Deadline:	January 25, 2021
Submission Deadline:	February 01, 2021
Notification of Acceptance:	March 25, 2021
Camera Ready Version Due:	April 20, 2021

About

ITP 2021 is the twelfth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. ITP 2021 will be co-located with LICS 2021 and ICTCS 2021, and will take place in Rome, Italy.

Call for Papers

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)

Credits and Sources

[1] ITP 2021 : International Conference on Interactive Theorem Proving