ITP 2021

Interactive Theorem Proving

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 online.

Related Conferences