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. International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) (LFMTP)
    series, 19 events, 2006 to 2025
    Computer and information sciences
    s10ccyx
  2. Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009 (LFMTP)
    2009-08-02 · Montreal, Canada
    Computer and information sciences
    e11gtsf
  3. Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008 (LFMTP)
    2008-01-01 · Pittsburgh, United States
    Computer and information sciences
    e120k25
  4. Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007 (LFMTP)
    2007-01-01 · Bremen, Germany
    Computer and information sciences
    e120j7w
  5. Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006 (LFMTP)
    2006-01-01 · Seattle, United States
    Computer and information sciences
    e11gtrh

As JSON: https://labs.confref.org/api/search?series=s10ccyx&from=2000&to=2009