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.

Along with SBMF, the 6th edition of the International School of Formal Methods and Theoretical Informatics will be held. Aimed at students, its purpose is to introduce basic concepts, methods and tools.

To download SBMF Background click here.

Springer's free temporary access to the proceedings can be enjoyed here: https://link.springer.com/book/10.1007%2F978-3-030-92137-8

Previous Editions