29-30 Sep 2012
Rio de Janeiro, Brazil
====================================================== LSFA 2012: Call For Papers 7th Workshop on Logical and Semantic Frameworks, with Applications Rio de Janeiro, Brazil September 29-30, 2012 http://www.uff.br/lsfa/ Important Dates Paper submission deadline: June 1st, 2012 Author notification: July 14th, 2012 Camera-ready: August 5th, 2012 Conference: September 29-30, 2012 Invited speakers (confirmed) * Torben Brauner (Roskilde University, Denmark) * Maribel Fernandez (King?s College London, UK) * Edward Hermann Haeusler (PUC-Rio, Brazil) * Alexandre Miquel (Universite Paris 7, France) 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. In its seventh edition, the workshop will be at Pontificia Universidade Católica do Rio de Janeiro (PUC-Rio). Previous editions of this conference were held in Belo Horizonte (2011), Natal (2010), Brasilia (2009), Salvador (2008), Ouro Preto (2007), Natal (2006). The objective of this workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and the use of such techniques and results, from the practical side. Topics of interest to this forum include, but are not limited to: * Logical frameworks * Proof theory * Type theory * Automated deduction * Semantic frameworks * Specification languages and meta-languages * Formal semantics of languages and systems * Computational and logical properties of semantic frameworks * Implementation of logical and/or semantic frameworks * Applications of logical and/or semantic frameworks LSFA 2012 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. This year post-proceedings will be published as in previous years. After the workshop, according to the quantity and quality of selected papers, the authors will be invited to submit full versions of their works that will be also reviewed to high standards. Post-proceedings and Special Issues were already published in the Logic Journal of IGPL, the Journal of Algorithms, ENTCS, and TCS. Submissions Contributions should be written in English and submitted in the form of full papers (with a maximum of 16 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in latex using EPTCS style. The submission should be in the form of a PDF file uploaded to LSFA 2012 page at Easychair <https://www.easychair.org/conferences/?conf=lsfa2012> until the submission deadline in June 1st, by midnight, Central European Standard Time (GMT+1). The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration and the proceedings will be published as a volume of EPTCS. After the workshop, according to the quantity and quality of selected papers, the authors will be invited to submit full versions of their works that will be also reviewed to high standards. At least one of the authors should register at the conference. The paper presentation should be in English. Scientific Committee * Carlos Areces (Univeridad Nacional de Cordoba, Argentine) * Arnon Avron (Tel-Aviv University, Israel) * Patrick Baillot (Ens de Lyon, France) * Veronica Becher (Universidad de Buenos Aires, Argentine) * Marcelo Coniglio (Unicamp, Brazil) * Thierry Coquand (University of Gothenburg, Sweden) * Hans van Ditmarsch (University of Sevilla, Spain) * Clare Dixon (The University of Liverpool, UK) * Marcelo Finger (IME-USP, Brazil) * Edward Hermann Haeusler (PUC-Rio, Brazil) * Delia Kesner (Universite Paris Diderot, France) (co-chair) * Luis da Cunha Lamb (UFRGS, Brazil) * Ian Mackie (Ecole Polytechnique, France) * Joao Marcos (UFRN, Brazil) * Georg Moser (University of Innsbruck, Austria) * Koji Nakazawa (Kyoto University, Japan) * Vivek Nigam (Ludwig-Maximilians-Universitat Munchen, Germany) * Luca Paolini (Universita di Torino, Italy) * Elaine Pimentel (Univalle, Colombia) * Simona Ronchi Della Rocca (Universita di Torino, Italy) * Mauricio Ayala-Rincon (UnB, Brazil) * Luis Menasche Schechter (UFRJ, Brazil) * Sheila Veloso (UFRJ, Brazil) * Daniel Ventura (UFG, Brazil) * Petrucio Viana (UFF, Brazil) (co-chair) Organization * Departamento de Ciência da Computação, UnB * Departamento de Filosofia, Departamento de Informática, PUC-Rio * Instituto de Matemática e Estatística, UFF Organizing Committee * Christiano Braga (UFF) * Renata de Freitas (UFF) (chair) * Luiz Carlos Pereira (PUC-Rio, UFRJ) * Mauricio Ayala-Rincon (UnB, Brazil) ======================================================