- Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides, editors, Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008. Volume 247 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.
- Mauricio Ayala-Rincón, Fairouz Kamareddine, editors, Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009. Volume 256 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.