Proceedings 16th Logical and Semantic Frameworks with Applications
Mauricio Ayala-Rincon (Universidade de Brasilia), Eduardo Bonelli, (Stevens Institute of Technology)
TL;DR
This collection presents recent advances in logical and semantic frameworks, focusing on proof theory, type theory, rewriting, and formal semantics, highlighting both theoretical foundations and practical applications.
Contribution
It compiles post-proceedings of LSFA 2021, showcasing new research developments in logical and semantic frameworks and their diverse applications.
Findings
Advances in proof theory and type theory.
Development of new specification and deduction languages.
Enhanced understanding of formal semantics of languages.
Abstract
This volume contains the post-proceedings of the Sixteenth Logical and Semantic Frameworks with Applications (LSFA 2021). The meeting was held online on July 23-24, 2021, organised by the Universidad de Buenos Aires, Argentina. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
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.