20 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
7. 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
8. 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
9. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
   2017-01-01 · Oxford, United Kingdom
   Computer and information sciences
   e12mqs9
10. 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
11. 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
12. 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
13. 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
14. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
    2012-01-01 · Copenhagen, Denmark
    Computer and information sciences
    e12mqrb
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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?series=s10ccyx