12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)
September 25-29, 2017 - Universidade de Brasília, Brazil

Table of Contents

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.

LSFA 2017 will take place on September 25-29 2017 in Brasília as a satellite event of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2017), the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

The objective of this workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice.

Topics of interest to this forum include, but are not limited to:

LSFA 2017 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007) and Natal (2006).

1 Call for Papers

Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere.

The papers should be prepared in LaTeX using ENTCS style. The submission should be in the form of a PDF file uploaded to Easychair:


The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS.

At least one of the authors should register for the conference. Presentations should be in English.

1.1 Important dates

  • Submission (abstract):
  • Submission (full and short papers):
  • Notification:
  • Preliminary proceedings version due:

2 Invited speakers


3 Committees

3.1 Program Committee

  • Sandra Alves, University of Porto - co-chair
  • Renata Wassermann, University of São Paulo - co-chair
  • Flávio L. C. de Moura, Universidade de Brasília - local organiser
  • Carlos Areces, Universidad Nacional de Córdoba
  • Mauricio Ayala-Rincon, Universidade de Brasilia
  • Veronica Becher, Universidad de Buenos Aires
  • Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
  • Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
  • Carlos Castro, UT Federico Santa Maria
  • Kaustuv Chaudhuri, INRIA
  • Marcelo Coniglio, UNICAMP
  • Valeria De Paiva, University of Birmingham
  • Santiago Escobar, Universitat Politècnica de València
  • Amy Felty, University of Ottawa
  • Maribel Fernández, King's College London
  • Marcelo Finger, Universidade de Sao Paulo
  • Ichiro Hasuo, University of Tokyo
  • Edward Hermann Haeusler, PUC-Rio
  • Delia Kesner, Université Paris-Diderot
  • Bjoern Lellmann, TU Vienna
  • Vivek Nigam, Universidade Federal da Paraíba
  • Jorge A. Pérez, University of Groningen and CWI, Amsterdam
  • Petrucio Viana, Universidade Federal Fluminense
  • Elaine Pimentel, UFRN
  • Giselle Reis, CMU-Qatar
  • Camilo Rocha, Pontificia Universidad Javeriana Cali
  • Simona Ronchi Della Rocca, Universita' di Torino
  • Alvaro Tasistro, Universidad ORT Uruguay
  • Christian Urban, King's College London

3.2 Organizing Committee

Author: Flávio Leonardo Cavalcanti de Moura

Created: 2017-01-30 Seg 09:26