ITP 2013 is the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.


Important Dates

  • Abstract submission deadline:
  • January 28th January 29th, 2013 (anywhere on earth)
  • Paper submission deadline:
  • February 1st February 6th, 2013 (anywhere on earth)
  • Author notification:
  • March 28th, 2013
  • Camera-ready paper versions due:
  • April 22th, 2013

    Invited Speakers and Tutorials

    Invited speakers

    • Dominique Bolignano, Prove & Run
    • Rustan Leino, Microsoft Research
    • Carsten Schürmann, IT University of Copenhagen

    Invited tutorials

    • Assia Mahboubi and Enrico Tassi, Inria
    • Pete Manolios, Northeastern University


    Paper should be submitted through the easy chair page.


    Organizing committee

    Program Committee