Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

2 results · clear filters Sort: newest oldest name

  1. 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
  2. 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&series=s10a4j1&country=GB