Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
Delia Kesner (Universit\'e Paris-Diderot), Petrucio Viana, (Universidade Federal Fluminense)
TL;DR
This collection of proceedings from the Seventh Workshop on Logical and Semantic Frameworks presents recent research papers and invited talks focusing on advancements in logical and semantic frameworks and their applications.
Contribution
It compiles recent research and invited insights, highlighting developments in logical and semantic frameworks and their practical applications.
Findings
11 accepted papers presented at the workshop
Extended abstracts of invited talks included
Focus on logical and semantic frameworks
Abstract
This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9 long and 2 short) accepted for presentation at the meeting, as well as extended abstracts of invited talks by Torben Bra\"uner (Roskilde University, Denmark), Maribel Fern\'andez (King's College London, United Kingdom), Edward Hermann Haeusler (PUC-Rio, Brazil) and Alexandre Miquel (\'Ecole Normale Sup\'erieure de Lyon, France).
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.