International Conference on Interactive Theorem Proving (ITP)

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech

      12th ITP 2021: Rome, Italy (Virtual Conference)

      10th IJCAR 2020: Paris, France

      10th ITP 2019: Portland, OR, USA

      9th ITP 2018: Oxford, UK

      8th ITP 2017: Brasília, Brazil

      7th ITP 2016: Nancy, France

      6th ITP 2015: Nanjing, China

      5th ITP 2014: Vienna, Austria

      4th ITP 2013: Rennes, France

      3rd ITP 2012: Princeton, NJ, USA

      2nd ITP 2011: Berg en Dal, The Netherlands

      1st ITP 2010: Edinburgh, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics