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 op SBMF é realizada plenária onde são eleitos o coordenador e comitê gestor da CE-MF.

 

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

 

Simone André Da Costa Cavalheiro (UFPel)

Coordenadora

Comitê Gestor

 

Bill Roscoe (University College Oxford)          

Integrante do Comitê Gestor

José Luiz Fiadeiro (University of Leicester)

Integrante do Comitê Gestor

 

Márcio Cornélio (UNESP)

Integrante do Comitê Gestor

Mohammad Mousavi (University of Leicester)

Integrante do Comitê Gestor

 

Tiago Lima Massoni (UFCG)

Integrante do Comitê Gestor

Thierry Lecomte (França)

Integrante do Comitê Gestor

 

Gestão 2016-2017

Gestão 2015 -2016