5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
associated with LICS
Overview
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.
Programme
Invited Talks
- Frank Pfenning, Carnegie Mellon University
- Chung-chieh Shan, Rutgers, The State University of New Jersey
Program Chairs
Karl Crary, Carnegie Mellon University, United States
Marino Miculan, DiMI, University of Udine, Italy
Program Committee:
Stefan Berghofer, Technische Universität München, Germany
Yves Bertot, INRIA, France
Amy Felty, University of Ottawa, Canada
Benjamin Pierce, University of Pennsylvania, United States
Andy Pitts, University of Cambridge, United Kingdom
Carsten Schürmann, IT University of Copenhagen, Denmark