Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Fr\'ed\'eric Blanqui (INRIA), Giselle Reis (CMU)
TL;DR
This collection of papers from LFMTP 2018 explores recent advances in logical frameworks and meta-languages, focusing on theoretical foundations and practical applications within formal methods and computational logic.
Contribution
It compiles recent research contributions that advance understanding and application of logical frameworks and meta-languages in formal verification and computational logic.
Findings
New theoretical models for logical frameworks
Practical applications in formal verification
Enhanced meta-language techniques
Abstract
This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with the 3rd international conference on Formal Structures for Computation and Deduction (FSCD) within the 7th Federated Logic Conference (FLoC).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.