Patrocínio



























Apoio








  • free counters


SBMF- Simpósio Brasileiro de Métodos Formais

Apresentação

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 15ª edição no ano de 2012.

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 2012 contará com as seguintes atividades específicas, além das atividades gerais do CBSoft: