• Home
• Important Dates
• Program
• Registration
• Venue
• Travel Info
• Contact

• 

• Short Courses
• Workshops
• Tutorials
• Tools
• Industry Track
• WTDSoft
• Past Conferences
• Committees
• Organization
• Submissions

• About
• Past Editions
• Call for Papers
• Committee
• Keynotes
• FEES
• Special Track

• About
• Past Editions
• Call for Papers
• Committee
• Keynotes

• About
• Past Editions
• Call for Papers
• Committee
• Keynotes

• About
• Past Editions
• Call for Papers
• Committee
• Keynotes

• 2012

SBMF - Brazilian Symposium on Formal Methods

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 15th edition in 2012.

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 2012 will include the following specific activities, further than the CBSoft general activities:

• Keynotes
• Technical Sessions