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 Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2025, Birmingham, UK, 19 July 2025.
    2025 · Birmingham, United Kingdom
    Computer and information sciences
    e1211t4
  2. Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. (LFMTP)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x0z
  3. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
    2017-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e12mqs9
  4. Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010.
    2010 · Edinburgh, United Kingdom
    Computer and information sciences
    e120z0x

As JSON: https://labs.confref.org/api/search?series=s10ccyx&country=GB