Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011

DOI10.4204/EPTCS.81MaRDI QIDQ4968424zbMATH 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/1203.5423, http://eptcs.web.cse.unsw.edu.au/content.cgi?LSFA2011

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

Recommendations

• Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012
• Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021
• Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016
• Preface: Logical and semantic frameworks with applications
• Preface to special issue: LSFA 2017 and 2018

Cited in

(5)

• 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 seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012
• 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 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011

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