International Conference on Interactive Theorem Proving (ITP)

Venue Information

  • has part: Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR)

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