Guarde estas datas:
- Registro de artigos: 15 julho 2016
- Submissão de artigos: 23 julho 2016
- Notificação de aceitação: 9 setembro 2016
- Versão final: 16 setembro 2016
Realizado pela Comissão Especial de Métodos Formais da nossa Sociedade, o Simpósio Brasileiro de Métodos Formais (SBMF) é um evento estruturado por sessões técnicas, tutoriais e palestras convidadas ministradas por renomados especialista na área.
A submissão de artigos se dá a trabalhos originais e os ainda não publicados que tenham contribuições teóricas e práticas, baseados em uma revisão habitual, de métodos formais.
Participe!
Mais informações acesse: http://sbmf2016.imd.ufrn.br/
