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
Coordenação
|
Tiago Lima Massoni (UFCG) Coordenador |
Comitê Gestor
|
Adolfo Almeida Duran (UFBA) Integrante do Comitê Gestor |
José Luiz Fiadeiro - (Universidade de Leicester) Integrante do Comitê Gestor |
|
|
Leila Ribeiro (UFRGS) Integrante do Comitê Gestor |
Mohammad Mousavi (Universidade de Leicester) Integrante do Comitê Gestor |
|
|
Philip Waddler (Universidade de Edimburgo) Integrante do Comitê Gestor |
Simone André Da Costa Cavalheiro (UFRGS) Integrante do Comitê Gestor |
|
|
Thierry Lecomte (França) Integrante do Comitê Gestor |