7, Dec, 2021 to 10, Dec, 2021
SBMF 202124th Brazilian Symposium on Formal Methods
Online, Campina Grande, Brasil
SBMF is 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, 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.