corona

COVID19 Update

LSFA20

The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) will be held in Belo Horizonte on Sep 23 and Sep 24, 2022.

More

About LSFA22

The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) will be held in Belo Horizonte, MG, Brazil on September 23 and 24, 2022.

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 Buenos Aires (2021, online, as a satellite of FSCD 2021), Bahia (2020, online, collocated with the First Brazilian Workshop on Logic WBL), Natal (2019), 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.


NOTE ABOUT COVID-19

The Program Committee and the local organization of LSFA are following closely the information regarding the spread and incidence of the coronavirus in Brazil, as given by local authorities and the World Health Organization. We are currently planning an hybrid event, but the conference will be foremost designed for in-person participation: for the most fruitful participation we strongly encourage people to participate in person.

Proceedings

The LSFA 2022 Pre-Proceedings will be available for download here.

Call for Papers

May 16 Abstract

17th Workshop on Logical and Semantic Frameworks, with Applications

23-24 September 2022, Belo Horizonte, Brazil.

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 computational languages, supporting tool development and reasoning.

Previous editions of LSFA took place in Natal (2019), Fortaleza (2018), Brasília (2017), 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.

May 23 Submission

Topics of interest include, but are not limited to:

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

Submission and Publication

Contributions should be written in English and submitted in full paper (with a maximum of 16 pages excluding references) or short papers (with a maximum of 6 pages excluding references). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the EPTCS style. The submission should be in the form of a PDF file uploaded to Easychair

Sep 01 Proceedings Version

The pre-proceedings, containing the reviewed papers, will be available on the web page. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors of each submission must register for the conference. Presentations should be in English. According to the submissions' quality, the chairs will promote the further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals such as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Structures in Computer Sciences (see the LSFA page http://lsfa.cic.unb.br).

Important Dates

  • Abstract deadline: Monday 16 May (Extended, Anywhere on Earth)
  • Submission deadline: Monday 23 May (Extended, AoE)
  • Notification to authors: Saturday 9 July (AoE)
  • Preliminary proceedings version due: Thursday 1 September (AoE)
  • LSFA 2022: Friday-Saturday 9 July
  • Submission for final EPTCS proceedings: Monday 17 October (AoE)
  • Final version: Monday 21 November (AoE)

Program

TBA

Invited Talks

TBA

Program Committee

Venue & Location

 

Support

TBA