Logical Frameworks and Meta-languages: Theory and Practice

lfmtp.org

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