LSFA 2019

14th International Workshop on Logical and Semantic Frameworks, with Applications

Natal, Brazil

Aug 25-26, 2019

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.

Previous editions of LSFA took place in Fortaleza (2018), Brasília (2017, collocated with Tableaux+FroCoS+ITP), 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). See for more information. The 2019 edition will take place at UFRN, in Natal, as a satellite event of CADE-27.


The Call For Papers may be found here.

Topics of interest include, but are not limited to:

  • Specification languages and meta-languages
  • Formal semantics of languages and logical systems
  • Logical frameworks
  • Semantic frameworks
  • Type theory
  • Proof theory
  • Automated deduction
  • Implementation of logical or semantic frameworks
  • Applications of logical or semantic frameworks
  • Computational and logical properties of semantic frameworks
  • Logical aspects of computational complexity
  • Lambda and combinatory calculi
  • Process calculi

Contributions should be written in English, using the generic ENTCS package, and submitted in the form of full papers with a maximum of 13 pages, including references. The submission should be in form of a PDF file uploaded here.

Important Dates

  • May 1, 2019 (Apr 19, 2019): Submission deadline
  • June 5, 2019 (May 24, 2019): Notification to authors
  • Jun 26, 2019 (Jun 21, 2019): Proceedings version due
  • Aug 25-26, 2019: Workshop


Please visit this link.


Programme Committee

Organizing Committee


LSFA 2019


Photo album

Please follow this link.