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.

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 23-24 September
  • Submission for final EPTCS proceedings: Monday 17 October (AoE)
  • Final version: Monday 21 November (AoE)

Program

All time slots are mentioned in Belo Horizonte / BRT / Brasília Time (UTC-3)

THE PROGRAM IS SUBJECT TO CHANGE

Detailed Program:

The detailed program for each day can be viewed by clicking in the specific day on the resumed program above. Alternatively, the detailed program can be viewed in the link below.

Detailed Schedule (subject to change!)

LSFA Proceedings:

The LSFA 2022 Pre-Proceedings are available for download here.

Invited Talks

Registration

Registration for LSFA 2022 is free, but needs though the

Program Committee

Venue & Location

The conference will take place at the Pampulha campus of Universidade Federal de Minas Gerais (UFMG) in Belo Horizonte, the capital of the Brazilian state of Minas Gerais. With over 6M people, Belo Horizonte's metropolitan area is the third largest in Brazil.

Venue: LFSFA 2022 will be held in the ICEx building at UFMG, room 2077.

Travel information: The closest airport is Confins International (CNF). There is a dedicated coach service between the airport and the Pampulha region (~40min), as well as the city center (~1h). It costs 37 BRL for the higher quality bus, 17 BRL for the conventional one.
A taxi ride from CNF to city center will cost around 120 BRL. An uber ride should be around 90 BRL.

 

Support



South-american student authors are elegible to financial aid for travel costs to LSFA 2022. Please get in contact via e-mail.