10 results · clear filters Sort: newest oldest name

1. 10th International Conference on Interactive Theorem Proving, ITP 2019, Portland, OR, USA, September 9-12, 2019 (ITP)
   2019-09-09/12 · Portland, United States
   Computer and information sciences
   e11f3c4
2. Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (ITP)
   2018-07-09/12 · Oxford, United Kingdom
   Computer and information sciences
   e11f3b6
3. International Conference on Interactive Theorem Proving (ITP)
   2017-09-26/29 · Brasília, Brazil
   Computer and information sciences
   e105ez7
4. International Conference on Interactive Theorem Proving (ITP)
   2016-08-22/27 · Nancy, France
   Computer and information sciences
   e105ey9
5. International Conference on Interactive Theorem Proving (ITP)
   2015-08-24/27 · Nanjing, People's Republic of China
   Computer and information sciences
   e105exb
6. International Conference on Interactive Theorem Proving (ITP)
   2014-07-13/16 · Vienna, Austria
   Computer and information sciences
   e105ewd
7. International Conference on Interactive Theorem Proving (ITP)
   2013-07-22/26 · Rennes, France
   Computer and information sciences
   e105evf
8. International Conference on Interactive Theorem Proving (ITP)
   2012-08-13/15 · Princeton University, United States
   Computer and information sciences
   e105eth
9. International Conference on Interactive Theorem Proving (ITP)
   2011-08-22/25 · Berg en Dal
   Computer and information sciences
   e105esk
10. International Conference on Interactive Theorem Proving (ITP)
    2010-07-11/14 · Edinburgh, United Kingdom
    Computer and information sciences
    e105ern

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s10a4j1