SBMF 2021

24th Brazilian Symposium on Formal Methods

Virtual Event

Sponsor

The 24th SBMF is the 2021 edition of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems.

It is now a well-established event, with an international reputation.

It was supposed to take place in Campina Grande - PB, a city located in Brazil's northeast region. However, with the COVID-19 pandemics and its effects, the Brazilian special committee on formal methods has decided to organize the 2021 edition as an online event.

Previous Editions

2020

Ouro Preto-MG

2019

São Paulo-SP

2018

Salvador-BA

Sponsorship

Organization