corona

COVID19 Update

LSFA20

The 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) will be held online on Aug 27 and Aug 28, 2020.

More

About LSFA20

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.


NOTE ABOUT COVID-19

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.

Proceedings

The LSFA 2020 Pre-Proceedings are available for download.

Call for Papers

Apr 06 Abstract

15th Workshop on Logical and Semantic Frameworks, with Applications

26-28 August 2020, Salvador, 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 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.

Apr 13 Submission

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
May 22 Notification

Submission and Publication

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.

Jun 21 Proceedings Version

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.

Important Dates

  • Abstract deadline: Apr 06 (extended)
  • Submission deadline: April 13 (extended)
  • Notification to Authors: May 22 (extended)
  • Proceedings version due: Jun 21
  • LSFA 2020: August 26-28

Program

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

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 for the three days can be viewed in the link below.

Three-Day Detailed Schedule

LSFA Proceedings:

The LSFA 2020 Pre-Proceedings are available for download. Click Here

Invited Talks

Registration

Registration is open through the

July 31

Registration deadlines

Author registration: until July 31

Attendee registration: until August 20

Registration Fees and Rates

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).

Method of payment

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

Organization

Aline Andrade

UFBA, Brazil

General Chair

Adolfo Duran

UFBA, Brazil

Organizing Committee

Andreas Brunner

UFBA, Brazil

Organizing Committee

Bruno Lopes

UFF, Brazil

Organizing Committee

Darllan Pinto

UFBA, Brazil

Organizing Committee

Lais Salvador

UFBA, Brazil

Organizing Committee

Marlo Souza

UFBA, Brazil

Organizing Committee

Samuel Gomes

UFBA, Brazil

Organizing Committee

Venue & Location

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).

Prazer, meu nome é Salvador! (promotional video)

The Deputado Luís Eduardo Magalhães Airport connects Salvador with all major Brazilian cities and also operates several international flights.

 

Address

Instituto de Matemática e Estatística - UFBA Av. Adhemar de Barros, s/n, Campus Universitário de Ondina

Phone

+55 (71) 3283-6300