|| Second Workshop on Logical and Semantic
Frameworks, with Applications
WelcomeWelcome to LSFA'07, the Second 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 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 use of such techniques and results, from the practical side.
In its second edition, the workshop will be held in Ouro Preto, Minas Gerais, and hosted by Departamento de Ciência da Computação - Universidade Federal de Ouro Preto (UFOP) and Departamento de Matemática - Universidade Federal de Minas Gerais (UFMG). LSFA'07 will be a satellite event to the SBMF'07, the Brazilian Symposium on Formal Methods.