Welcome

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 fourth edition, the workshop will be held in Brasília, and hosted by the Department of Computer Science at the University of Brasília (UnB). LSFA'09 will be held just after the International School on Rewriting (ISR'09) and co-located with the Federated Conference on Rewriting, Deduction, and Programming (RDP'09).

Scientific Sponsorship	Sponsors