Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
SBMF 2014 - 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 17th edition in 2014.
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 2014 will include the following specific activities, further than the CBSoft general activities:
Keynotes
Technical Sessions
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 17th edition in 2014.
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 2014 will include the following specific activities, further than the CBSoft general activities:
Keynotes
Technical Sessions
Other CFPs
- The Brazilian Symposium on Programming Languages (SBLP)
- The Brazilian Conference on Software: Theory and Practice (CBSoft)
- XXVIII Simpósio Brasileiro de Engenharia de Software
- XIII Simpósio Brasileiro de Qualidade de Software
- Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Last modified: 2014-03-01 15:38:06