The Brazilian Symposium on Formal Methods (SBMF) is a SBC Brazilian symposium focused on the study of the application of formal methods in developing software systems.
This symposium has also been well-established and consolidated in the national scientific calendar as an important scientific-technical event in the software area. Its first edition took place in 1998, reaching the 14th edition in 2011.
SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
SBMF 2011 will include the following specific activities, further than the CBSoft general activities: