LFMTP 2010

5th International Workshop on

Logical Frameworks and Meta-languages:

Theory and Practice

Edinburgh, Scotland - July 14, 2010


Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. This workshop will bring together designers, implementers, and practitioners working on these areas.

LFMTP 2010 will provide researchers with a forum to review state-of-the-art techniques and to present progress in:

  1. -the automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation;

  2. -the design of proof assistants, automated theorem provers, and formal digital libraries building upon logical framework technology;

  3. -theoretical and practical issues concerning the encoding of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures;

  4. -case studies of meta-programming, and the mechanization of the (meta) theory of descriptions of programming languages and other calculi. Papers focusing on logic translations and on experiences with encoding programming languages theory will be particularly welcome.

More general information about LFMTP can be found at its website.

For registration and local informations, please visit FLoC website.

Call for papers: in PDF or plain text.

The invited speakers are Frank Pfenning and Chung-Chieh Shan

News: the post-proceedings have been published as EPTCS volume 34.

Important dates

  1. -Abstract submission: April 1, 2010  April 4, 2010

  2. -Submission deadline: April 4, 2010 April 7, 2010

  3. -Author notification: May 1, 2010

  4. -Pre-proceedings versions due: May 14, 2010

  5. -Early registration: May 17, 2010

  6. -Workshop: July 14, 2010

  7. -Post-proceedings version: August 14, 2010

Contact: lfmtp10@easychair.org

Affiliated with LICS 2010, July 11-14.

Part of the Federated Logic Conference (FLoC 2010), July 9-21.