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.
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.
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.
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
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).
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!)
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.
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
A taxi ride from CNF to city center will cost around 120 BRL. An uber ride should be around 90 BRL.