Computer Science – Logic in Computer Science
Scientific paper
2011-10-31
EPTCS 71, 2011
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.71
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.
Geuvers Herman
Nadathur Gopalan
No associations
LandOfFree
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-147105