Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

TL;DR

This collection of papers from the LFMTP 2011 workshop explores advances in logical frameworks and meta-languages, focusing on their structure, implementation, and reasoning capabilities in logic and computer science.

Contribution

The proceedings present new research on the design, implementation, and application of logical frameworks and meta-languages, with peer-reviewed contributions from experts in the field.

Findings

Enhanced logical frameworks for deductive systems

Improved meta-language techniques for reasoning

Practical applications in theorem proving

Abstract

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to discuss varied aspects of the structure of logical frameworks and meta-languages that impinge on their use in representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. LFMTP 2011 was held on August 26, 2011 in Nijmegen, Netherlands, as a workshop associated with ITP 2011, the Second International Conference on Interactive Theorem Proving. Its program consisted of contributed and invited presentations and was integrated with that of MLPA 11, the Third Workshop on Modules and Libraries for Proof Assistants. This proceedings contains only the contributed papers that were accepted for presentation at the workshop. Each of these papers was accepted based on the reviews of three members of the program committee. Authors were subsequently given the opportunity to revise their submissions based on the comments provided by the reviewers and the feedback obtained during their presentations at the workshop.