LSFA 2019

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

Natal, Brazil

Aug 24-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 http://lsfa.cic.unb.br for more information. The 2019 edition will take place at UFRN, in Natal.

Invited Speakers

Submissions

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

  • Apr 19, 2019: Submission deadline
  • May 24, 2019: Notification to authors
  • Jun 21, 2019: Informal proceedings version due
  • Aug 24-26, 2019: Workshop

Committees

Programme Committee

Organizing Committee

Venue

Sponsors