- Mauricio Ayala-Rincón, Edward Hermann Haeusler, editors, Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007. Volume 205 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008.