Comissão organizadora do evento

O Simpósio Brasileiro de Métodos Formais (SBMF) é organizado pela Comissão Especial de Métodos Formais (CEMF) da SBC. Essa Comissão, que é a responsável geral pela organização do evento e pela publicação dos Anais do SBMF, é constituída por:

  • Sérgio Vale Aguiar Campos (UFMG) - Coordenador
  • Gustavo Henrique Porto de Carvalho (UFPE) - Comitê Gestor

Para ver os Coordenadores de cada edição do evento e os respectivos integrantes dos Comitês de Programa, que participam do processo de revisão por pares, visite o site do evento.

Periodicidade

Os Anais do SBMF são publicados anualmente.

Idiomas

São aceitos artigos em português e inglês para publicação nos Anais do SBMF.

Direitos Autorais

Os autores dos artigos publicados nos Anais do SBMF retêm os direitos autorais de suas obras e autorizam a SBC a publicá-las de acordo com os termos da licença Creative Commons Attribution-NonComercial 4.0 International Public License (CC BY-NC 4.0). Dessa forma, fica permitido aos autores ou a terceiros a reprodução ou distribuição, em parte ou no todo, de material extraído dessas obras, de forma verbatim, adaptada ou remixada, bem como a criação ou produção a partir do conteúdo dessas obras, para fins não comerciais, desde que sejam atribuídos os devidos créditos às criações originais. Cópias das obras não devem ser utilizadas de nenhum modo que implique o endosso da SBC.

Responsável pela publicação

José Viterbo Filho | Diretor de Publicações
Sociedade Brasileira de Computação
Av. Bento Gonçalves, 9500 | Setor 4 | Prédio 43.412 | Sala 219
Bairro Agronomia | Porto Alegre - RS | CEP 91501-970
(51) 3308-6835
publicacoes@sbc.org.br