O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo e à aplicação de 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 21a edição em 2018. Com o apoio da Sociedade Brasileira de Computação (SBC), o SBMF promove oportunidades para pesquisadores com interesses em métodos formais discutirem os recentes avanços na área. O SBMF 2018 inclui as

seguintes atividades específicas: palestras e sessões técnicas, além de um painel. Para maiores informações, visite a página do evento: