O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo ea aplicação e métodos formais no desenvolvimento de sistemas de software. Este simpósio também se estabeleceu no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu em 1998 , indo para sua 19ª edição em 2016.
O evento SBMF é dedicado à disseminação do desenvolvimento e uso de métodos formais para a construção e verificação de sistemas de computador , com o objetivo de promover oportunidades para pesquisadores com interesses em métodos formais para discutir os recentes avanços na área.
Para participar, acesse http://sbmf2016.imd.ufrn.br/
