LSFA 2016 - 11th 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:
Automated deduction
Applications of logical and/or semantic frameworks
Computational and logical properties of semantic frameworks
Formal semantics of languages and systems
Implementation of logical and/or semantic frameworks
Lambda and combinatory calculi
Logical aspects of computational complexity
Logical frameworks
Process calculi
Proof theory
Semantic frameworks
Specification languages and meta-languages
Type theory