| 2025 | | Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2025, Birmingham, UK, 19 July 2025. | Birmingham | |
| 2024 | 8 | Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2024, Tallinn, Estonia, 8th July 2024. | Tallinn | |
| 2023 | 18 | Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. | Rome | |
| 2021 | 16 | Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. | Pittsburgh | |
| 2020 | 29 | Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020. | Paris | |
| 2019 | 22 | Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. LFMTP | Vancouver | 2019-01-01 |
| 2018 | 13 | Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. LFMTP | Oxford | 2018-01-01 |
| 2017 | | Logical Frameworks and Meta-languages: Theory and Practice LFMTP | Oxford | 2017-01-01 |
| 2016 | | Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 LFMTP | Porto | 2016-06-23 |
| 2015 | | Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. LFMTP | Berlin | 2015-08-01 |
| 2014 | | Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 LFMTP | Vienna | 2014-07-17 |
| 2013 | | Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 LFMTP | Boston | 2013-09-23 |
| 2012 | | Logical Frameworks and Meta-languages: Theory and Practice LFMTP | Copenhagen | 2012-01-01 |
| 2011 | | Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. | Kingdom of the Netherlands | |
| 2010 | 5 | Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. | Edinburgh | |
| 2009 | | 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 | Montreal | 2009-08-02 |
| 2008 | | Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008 LFMTP | Pittsburgh | 2008-01-01 |
| 2007 | | Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007 LFMTP | Bremen | 2007-01-01 |
| 2006 | | 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 | Seattle | 2006-01-01 |
