Universiteit van Amsterdam


Institute for Logic, Language and Computation

23 - 24 September 2017, 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), Brasilia, Brazil

Date: 23 - 24 September 2017
Location: Brasilia, Brazil
Deadline: Friday 23 June 2017

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that 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.

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.

For more information, see http://lsfa2017.cic.unb.br/ or contact .