CONTATO | SIGA A SBC

A Comissão Especial de Métodos Formais da SBC (CEMF) tem como principal missão o desenvolvimento e a disseminação da área de métodos formais no Brasil. Criada em 2004, a comissão tem apoiado a realização de eventos na área tais como o Simpósio Brasileiro de Métodos Formais (SBMF), juntamente com seus eventos satélites, incluindo uma escola internacional na área de refinamentos.

A CE-MF organiza o Simpósio Brasileiro de Métodos Formais (SBMF) , juntamente com seus eventos satélites, incluindo uma escola internacional na área de refinamentos. Durante a SBMF é realizada plenária onde são eleitos o coordenador e comitê gestor da CE-MF.

 

Lista de execução: https://grupos.ufrgs.br/mailman/listinfo/Cemf-l/

E-mail da coordenação:  Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Página Web: http://comissoes.sbc.org.br/ce-mf/

Revistas, relevantes e meta-critérios adotados

 

Gestão 2021-2022

 

Coordenação

 

 

Sérgio Vale Aguiar Campos (UFMG)

Coordenador

Comitê Gestor

 

 

Gustavo Henrique Porto de Carvalho (UFPE)

Membro do Comitê Gestor

 

 

Gestão 2020 - 2021

Gestão 2019 - 2020

Gestão 2017-2018

Gestão 2016-2017

Gestão 2015 -2016