LFMTP 2014: 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

LFMTP is a long-standing forum for presenting state-of-the-art techniques and discuss progress in the area of logical frameworks and meta-languages. This workshop brings together designers, implementers, and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressivity and lucidity of the reasoning process.

This year, LFMTP is affiliated with CSL-LICS 2014 and IJCAR 2014 and held as part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic (VSL).


  • Paper Submission: May 2
  • Notification: June 3
  • Final papers due: June 19
  • Workshop: July 17

More details are on the LFMTP workshop web page.