Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
SBMF 2015 - 18th Brazilian Symposium on Formal Methods
Topics/Call fo Papers
The Brazilian Symposium on Formal Methods (SBMF) is a Brazilian symposium dedicated to 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 18th edition in 2015.
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.
SBMF 2015 will include the following specific activities, in addition to the general activities of CBSoft:
Lectures
Technical Sessions
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 18th edition in 2015.
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.
SBMF 2015 will include the following specific activities, in addition to the general activities of CBSoft:
Lectures
Technical Sessions
Other CFPs
- IEEE International Conference on Recent Advances in Intelligent Computational Systems (IEEE RAICS 2015)
- 18 International Conference on Pharmaceutical Medicine
- 2015 IEEE International Conference on Aerospace Electronics and Remote Sensing Technology
- Call for Book Chapters VEHICULAR SOCIAL NETWORKS
- International Conference on Smart Objects and Technologies for Social Good (GOODTECHS 2015)
Last modified: 2015-05-18 22:13:05