LSFA 2013 - 2013 Logical and Semantic Frameworks with Applications

8th Workshop on Logical and Semantic Frameworks, with Applications
2-3 September 2013, Sao Paulo, Brazil
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 workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice.
Topics of interest to this forum include, but are not limited to:
Logical frameworks
Proof theory
Type theory
Automated deduction
Semantic frameworks
Specification languages and meta-languages
Formal semantics of languages and systems
Computational and logical properties of semantic frameworks
Implementation of logical and/or semantic frameworks
Applications of logical and/or semantic frameworks
LSFA 2013 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
LSFA 2013 will take place on the 2nd and 3rd September 2013 in São Paulo. Previous editions took place in Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasilia (2009), Salvador (2008), Ouro Preto (2007), Natal (2006).