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.

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

Integrante do Comitê Gestor

 

Gestão 2015 -2016