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/