International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)

14th LFMTP@LICS 2019: Vancouver, BC, Canada

13th LFMTP@FSCD 2018: Oxford, UK

12th LFMTP 2017: Oxford, UK

11th LFMTP 2016: Porto, Portugal

10th LFMTP 2015: Berlin, Germany

9th LFMTP 2014: Vienna, Austria

8th LFMTP 2013: Boston, MA, USA

7th LFMTP 2012: Copenhagen, Denmark

LFMTP 2012 Home Page

6th LFMTP 2011

5th LFMTP 2010

4th LFMTP 2009: Montreal, Canada

3rd LFMTP 2008: Pittsburgh, PA, USA

took place as part of LICS-23

2nd LFMTP 2007: Bremen, Germany

took place as part of CADE-21

1st LFMTP 2006: Seattle, WA, USA

took place as part of FLOC'06

a service of Schloss Dagstuhl - Leibniz Center for Informatics