Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012

DOI10.4204/EPTCS.113MaRDI QIDQ4968423zbMATH OpenOpenAlexFDO

Authors

Publication date 12 July 2019

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.7136, http://eptcs.web.cse.unsw.edu.au/content.cgi?LSFA2012

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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).

Recommendations

• Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011
• Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)
• Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021
• Preface to special issue: LSFA 2017 and 2018
• Preface: Logical and semantic frameworks with applications

Cited in

(8)

• Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016
• Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23--24, 2017. Proceedings
• Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2--3, 2013
• Proceedings of the second workshop on logical and semantic frameworks, with applications (LSFA 2007), Ouro Preto, Brazil, August 28--29, 2007
• Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011
• Preface to special issue: LSFA 2017 and 2018
• Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021
• Preface: Logical and semantic frameworks with applications

This page was built for publication: Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4968423)