LSFA 2015 - 10th Workshop on Logical and Semantic Frameworks, with Applications


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:

  1. Logical frameworks

  2. Proof theory

  3. Type theory

  4. Automated deduction

  5. Semantic frameworks

  6. Specification languages and meta-languages

  7. Formal semantics of languages and systems

  8. Computational and logical properties of semantic frameworks

  9. Implementation of logical and/or semantic frameworks

  10. Applications of logical and/or semantic frameworks

LSFA 2015 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 2015 will take place on August 31 and September 1 2015 at Natal. Previous editions took place in Brasilia (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasilia (2009), Salvador (2008), Ouro Preto (2007) and Natal (2006).

Contact Information

For more information please contact the chairs:

Mario Benevides (

René Thiemann (

LSFA 2015 (last edited 11/08/2015)


31st August -- 1st September 2015, Natal, RN, Brazil