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. 28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022
    2022 · France
    Computer and information sciences
    e11xdes
  2. 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014 (TYPES)
    2014-05-12/15 · Paris, France
    Computer and information sciences
    e11xd69
  3. 19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013 (TYPES)
    2013-04-22/26 · Toulouse, France
    Computer and information sciences
    e11xd5b
  4. International Workshop on Types for Proofs and Programs (TYPES)
    2004-12-15/18 · Jouy-en-Josas, France
    Computer and information sciences
    e108h0x
  5. International Workshop on Types for Proofs and Programs (TYPES)
    1996-12-15/19 · Aussois, France
    Computer and information sciences
    e108gt9

As JSON: https://labs.confref.org/api/search?field=1&series=s10aq3d&country=FR