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.

4 results · clear filters Sort: newest oldest name

  1. Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021.
    2021 · Pittsburgh, United States
    Computer and information sciences
    e120yx3
  2. Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 (LFMTP)
    2013-09-23 · Boston, United States
    Computer and information sciences
    e11gttd
  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 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?kind=event&series=s10ccyx&country=US