ITP 2021

  • Date

    29 June – 01 July, 2021

  • Venue

    Online

  • Organiser

    Università di Roma “La Sapienza”

  • Year
    • 2021
  • Website

    easyconferences.eu/itp2021

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