Interactive Theorem Proving

Listing of the DBLP Bibliography Server - FAQ
Other views: modern
Other mirrors: Trier II - Dagstuhl


7. ITP 2016: Nancy, France

6. ITP 2015: Nanjing, China

5. ITP 2014: Vienna, Austria

4. ITP 2013: Rennes, France

3. ITP 2012: Princeton, NJ, USA

2. ITP 2011: Berg en Dal, The Netherlands

1. ITP 2010: Edinburgh, UK

Last update 2017-03-25 01:23 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page