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.

6 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. International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) (LFMTP)
    series, 19 events, 2006 to 2025
    Computer and information sciences
    s10ccyx
  3. Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2024, Tallinn, Estonia, 8th July 2024.
    2024 · Tallinn, Estonia
    Computer and information sciences
    e1210xz
  4. Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023.
    2023 · Rome, Italy
    Computer and information sciences
    e1210nf
  5. 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
  6. Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020.
    2020 · Paris, France
    Computer and information sciences
    e120yrd

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