ITP

International Conference on Interactive Theorem Proving

  1. 2016

    ITP 2016

    • 22-27 August
    • Nancy, France
  2. 2014

    ITP 2014

    • 13-16 July
    • Vienna, Austria
  3. 2013

    ITP 2013

    • 22-26 July
    • Rennes, France
  4. 2012

    ITP 2012

    • 13-15 August
    • Princeton, NJ, USA
  5. 2011

    ITP 2011

    • 22-25 August
    • Berg en Dal, The Netherlands
  6. 2010

    ITP 2010

    • 11-14 July
    • Edinburgh, UK