SBMF 2021
24th Brazilian Symposium on Formal MethodsOnline, Campina Grande, Brasil
Homepage: http://www.sbc.org.br/sbmf2021
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.
Short link for this page: www.cister-labs.pt/events/1933