  This document contains the proceedings of the Seventh International Workshop
on Logical and Semantic Frameworks, with Applications, which was held on
September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular
papers (9 long and 2 short) accepted for presentation at the meeting, as well
as extended abstracts of invited talks by Torben Bra\"uner (Roskilde
University, Denmark), Maribel Fern\'andez (King's College London, United
Kingdom), Edward Hermann Haeusler (PUC-Rio, Brazil) and Alexandre Miquel
(\'Ecole Normale Sup\'erieure de Lyon, France).
