LSFA is a series of Meetings on Logical and Semantic Frameworks with Applications. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide mathematical foundations for formal specification of systems and programming languages, supporting tool development and reasoning.
The objective of this series 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.
LSFA started in 2006 in Natal (LSFA06) and its second and third editions were held in Ouro Preto (LSFA07) and Salvador (LSFA08) always as a satellite event to the Brazilian Symposium on Formal Methods (SBMF). In 2009 (LSFA09) it was held as a satellite event of RDP in Brasília, and subsequently, LSFA was a satellite event of ICTAC in Natal (LSFA10). Since its sixth edition it has been held alone in Belo Horizonte (LSFA11), Rio de Janeiro and Niteroi (LSFA12) and, this year will be held in São Paulo (LSFA13).
For more information, please visit http://lsfa.cic.unb.br/