XX SBMF (2017)
ETMF = 27/nov - 28/nov (Recife-PE, Brazil)
SBMF = 29/nov - 01/dec (Recife-PE, Brazil)
SBMF is a Brazilian symposium dedicated to the study and the application of Formal Methods in the development of software systems. This symposium also has established itself in the national scientific calendar as an important scientific-technical event in the software area. Its first edition took place in 1998, going for its 20th edition in 2017.
The SBMF event is devoted to the dissemination of the development and use of formal methods for the construction and verification of computer systems, aiming to promote opportunities for researchers with interests in formal methods to discuss recent advances in the area.