Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
SBMF 2012 - The Brazilian Symposium on Formal Methods (SBMF)
Topics/Call fo Papers
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.
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.
Other CFPs
- Advanced Research Workshop in Tourism Economics (ARWTE)
- International Workshop on Emotion in Games for learning
- International Workshop on Web 2.0 Tools, Methodology and Services
- International Workshop on Intelligent Support for Learning in Groups
- Workshop on Self-Regulated Learning in Educational Technologies
Last modified: 2012-03-08 17:43:24