In this section

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

[Expand all][Collapse all]

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 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.

LSFA 2017 will be 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) to be held in Brasília, Brazil, between 25 and 29 September 2017.

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

The proceedings are available here: pdf

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).

Submission

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 the generic ENTCS package (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair:

https://easychair.org/conferences/?conf=lsfa2017

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.

Created: 2017-09-24 Dom 06:05

Validate

^ Back to Top
Next Actions (0):
Done Actions (0):
Dashboard
Contexts (0):