O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro da SBC voltado ao estudo da aplicação de métodos formais no desenvolvimento de sistemas de software.

Esse simpósio também já se consolidou no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu no ano de 1998, indo para sua 16ª edição no ano de 2013.

O SBMF é um evento devotado à disseminação do desenvolvimento e uso de métodos formais para a construção e a verificação de sistemas computacionais, objetivando promover oportunidades para pesquisadores com interesses em métodos formais discutirem recentes avanços na área.

O SBMF 2013 contará com as seguintes atividades específicas, além das atividades gerais do CBSoft:

• Palestras
• Sessões Técnicas