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
Revised selected papers will be published as an LNCS post-proceedings.

CONTACTS

 
Specific questions of each event, please contact the chairs.
 
Hosting and Tickets:
josi@josimendes.com.br
eventos@transamericatur.com.br
 
Additional information:
cbsoft2014@ic.ufal.br
 
Report bugs or errors:
fdbd@ic.ufal.br

Twitter

ORGANIZING SPONSORS


DIAMOND SPONSORS


Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Conselho Nacional de Desenvolvi-mento Científico e Tecnológico (CNPq)

 

GOLD SPONSOR


INES logo

SILVER SPONSOR


 

SUPPORT


Springer logo

PROMOTION


SBC logo

PROMOTER



OFFICIAL TRAVEL AGENCY