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.
O SBMF encontra-se hoje em sua 12ª edição, sendo um evento consolidado tanto na comunidade nacional quanto internacional. As seis primeiras edições foram realizadas como o Workshop de Métodos Formais (WMF) que foi promovido para simpósio em 2004.
Lista de discussões: 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/
Coordenação
|
Leila Ribeiro (UFRGS) Coordenador |
Comitê Gestor
|
Bill Roscoe (University College Oxford) Integrante do Comitê Gestor |
Christiano Braga (UFF) Integrante do Comitê Gestor |
|
|
Márcio Cornélio (UNESP) Integrante do Comitê Gestor |
Narciso Morti-Oliet (UCM-Spain) Integrante do Comitê Gestor |
|
|
Simone Cavalheiro (UFPEL) Integrante do Comitê Gestor |
Thierry Lecomte (França) Integrante do Comitê Gestor |