5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
associated with LICS
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:
- the automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation;
- the design of proof assistants, automated theorem provers, and formal digital libraries building upon logical framework technology;
- theoretical and practical issues concerning the encoding of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures;
- case studies of meta-programming, and the mechanization of the (meta) theory of descriptions of programming languages and other calculi.
More information can be found here.
- Frank Pfenning, Carnegie Mellon University
- Chung-chieh Shan, Rutgers, The State University of New Jersey