Logical Frameworks and Meta-languages: Theory and Practice

lfmtp.org

LFMTP 2015: Berlin, Germany

LFMTP 2014: Vienna, Austria

LFMTP 2013: Boston, MA, USA

7. LFMTP 2012: Copenhagen, Denmark

LFMTP 2012 Home Page

6. LFMTP 2011

5. LFMTP 2010

4. LFMTP 2009: Montreal, Canada

3. LFMTP 2008: Pittsburgh, PA, USA

took place as part of LICS-23

2. LFMTP 2007: Bremen, Germany

took place as part of CADE-21

1. LFMTP 2006: Seattle, WA, USA

took place as part of FLOC'06