LFMTP 2010: July 14

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:

More information can be found here.

Programme

Invited Talks

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