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.

5 results · clear filters Sort: newest oldest name

  1. Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. (UITP)
    2016-01-01 · Coimbra, Portugal
    Computer and information sciences
    e120w6m
  2. Workshop on User Interfaces for Theorem Provers (UITP) (UITP)
    series, 7 events, 2003 to 2016
    Computer and information sciences
    s10dg76
  3. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. (UITP)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e120tca
  4. Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. (UITP)
    2012-07-11 · Bremen, Germany
    Computer and information sciences
    e120saf
  5. Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010
    2010 · Edinburgh, United Kingdom
    Computer and information sciences
    e120mj3

As JSON: https://labs.confref.org/api/search?series=s10dg76&from=2010&to=2019