The 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) will be held in Salvador, BA, Brazil on August 27 and 28, 2020.
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 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 2020 edition will take place at the Institute of Mathematics and Statistics of the Universidade Federal da Bahia (UFBA) and will be preceded by the 1st Brazilian Logic Workshop and LSFA Student Tutorial occurring on 26 August 2020.
The Program Committee and the local organization of LSFA have been following closely the information regarding the spread and incidence of the coronavirus in Brazil, as given by local authorities and the World Health Organization. Most of the states in Brazil are subjecting to international guidelines and promoting measures of isolation and testing. However, it is uncertain at the moment how long these measures need to be in place.
We can now confirm that in response to COVID-19, the program committee and local organization decided to move LSFA 2020 to a full online conference. As such, LSFA will happen on Aug 27 and Aug 28, 2020 as previously scheduled. While we may lose the opportunity of interacting in person, the organization is working hard to guarantee the best participation experience for the conference, drawing on the lessons from other events which moved to an online platform.
Moving to a virtual platform, we will also be able to expand the participation of those that could not physically attend the conference, offering greater opportunity to exchange knowledge with a diverse global audience. As such, we will open Registration to non-author attendees free of charge to participate and contribute with the discussions of the works
To the authors, the Program Committee will soon enter in contact with further information on the formats and technologies used for the presentation of your work, as well as to how to participate in the discussions. Authors will still need to register for the conference.
We'll be posting more details on registration in the next few weeks and more on the mechanics of the virtual conference soon. If you have questions or want to discuss anything related to those matters, please feel free to contact the PC Chairs.
The LSFA 2020 Pre-Proceedings are available for download.
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 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 the form of full papers with a maximum of 13 pages excluding references. Beyond full regular papers, we encourage submissions such as system descriptions, proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages excluding references. For both paper categories, additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere.
The papers should be prepared in LaTeX using the generic ENTCS package. The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2020
At least one of the authors should register for the workshop. All accepted papers will be available online during the workshop; full papers will be published at ENTCS, and short papers will be collected in an informal volume. For the publication of the proceedings there will be a cost to authors of USD 50 at registration time.
The detailed program for each day can be viewed by clicking in the specific day on the resumed program above. Alternatively, the detailed program for the three days can be viewed in the link below.
Three-Day Detailed ScheduleThe LSFA 2020 Pre-Proceedings are available for download. Click Here
Author registration: until July 31
Attendee registration: until August 20
As LSFA 20 will be moved to an online platform, the registration fees will only be applicable to authors of full papers, in order to subside the publication of the conference proceedings. It is still necessary for all attendees to register for the conference using the Registration Form until the respective deadline.
Registration fees for full paper authors: 180 BRL (Brazillian Reais).
All payments should be made in Brazilian Reais. Full paper authors are required to perform the payment through bank deposit to the following account, save or scan the deposit receipt, fill in the registration form and submit the receipt with the registration. If you are not currently in Brazil and are unable to make a bank deposit, please contact the organizers at lsfa.dcc@ufba.br
Sociedade Brasileira de Lógica
Banco: 104 - Caixa Econômica Federal
CNPJ: 51.877.702/0001-99
Agência: 4731
Conta Corrente: 648-3
Operação: 003
If you have questions or problems with your registration and payment, please fell free to contact the local organizing committee through our e-mail
Salvador, also known as São Salvador da Bahia de Todos os Santos (English: Savior; Saint Savior from the Bay of All Saints) is the capital of the Brazilian state of Bahia. With 2.9 million people (2017), it is the largest city proper in the Northeast Region and the 4th largest city proper in the country, after São Paulo, Rio de Janeiro and Brasília.
Founded by the Portuguese in 1549 as the first capital of Brazil, Salvador is one of the oldest colonial cities in the Americas. A sharp escarpment divides its Lower Town (Cidade Baixa) from its Upper Town (Cidade Alta) by some 85 meters (279 ft). The Elevador Lacerda, Brazil's first elevator, has connected the two since 1873. The Pelourinho district of the upper town, still home to many examples of Portuguese colonial architecture and historical monuments, was named a World Heritage Site by UNESCO in 1985.
Salvador was the first slave port in the Americas and the African influence of the slaves' descendants in many cultural aspects of the city makes it a center of Afro-Brazilian (negro) culture. The city is noted for its cuisine, music, dance and architecture. Porto da Barra Beach in Barra has been named one of the best beaches in the world. Itaipava Arena Fonte Nova was the site of the city's games during the 2014 Brazilian World Cup and 2013 Confederations Cup.
Salvador forms the heart of the Recôncavo, Bahia's rich agricultural and industrial maritime district, and continues to be a major Brazilian port. Its metropolitan area, housing 3 899 533 people (2018) forms the wealthiest one in Brazil's Northeast Region (2015).
The Deputado Luís Eduardo Magalhães Airport connects Salvador with all major Brazilian cities and also operates several international flights.
Instituto de Matemática e Estatística - UFBA Av. Adhemar de Barros, s/n, Campus Universitário de Ondina
+55 (71) 3283-6300