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.

11 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 Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. (LFMTP)
    2019-01-01 · Vancouver, Canada
    Computer and information sciences
    e120y0y
  3. 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
  4. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
    2017-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e12mqs9
  5. Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 (LFMTP)
    2016-06-23 · Porto, Portugal
    Computer and information sciences
    e11gtw9
  6. Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. (LFMTP)
    2015-08-01 · Berlin, Germany
    Computer and information sciences
    e120tx7
  7. Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 (LFMTP)
    2014-07-17 · Vienna, Austria
    Computer and information sciences
    e11gtvb
  8. 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
  9. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
    2012-01-01 · Copenhagen, Denmark
    Computer and information sciences
    e12mqrb
  10. Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011.
    2011 · Kingdom of the Netherlands
    Computer and information sciences
    e1212mf
  11. 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&from=2010&to=2019