LSFA'07 - Second Workshop on Logical and Semantic Frameworks, with Applications
August 28th, 2007,
Ouro Preto, Minas Gerais, Brazil

(Satellite Event to SBMF'07, the Brazilian Symposium on Formal Methods)

Scope
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 reaso