lfmtp.org

7. LFMTP 2012: Copenhagen, Denmark

LFMTP 2012 Home Page

6. LFMTP 2011

• 
  Herman Geuvers, Gopalan Nadathur (Eds.): Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2011 EPTCS 71 [ contents ]

5. LFMTP 2010

• 
  Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2010 EPTCS 34 [ contents ]

4. LFMTP 2009: Montreal, Canada

• 
  James Cheney, Amy P. Felty (Eds.): Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009. ACM 2009 ISBN 978-1-60558-529-1 [ contents ]

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