Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications
Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG)
TL;DR
This paper compiles proceedings from the 6th Workshop on Logical and Semantic Frameworks, focusing on formal languages for representing logics, systems, and supporting tool development and reasoning.
Contribution
It presents a collection of recent research and practical insights on logical and semantic frameworks from both theoreticians and practitioners.
Findings
Advances in formal specification techniques
New tools for reasoning about systems
Practical feedback on framework applications
Abstract
This volume contains the proceedings of the Sixth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011). The workshop will be hold in Belo Horizonte, on August 27th 2011. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and the use of such techniques and results, from the practical side.
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.