13 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 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
11. 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
12. 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
13. 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?discipline=Q21198&series=s10ccyx