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 2020-2021

 

Coordenação

 

Gustavo Henrique Porto de Carvalho (UFPE)

Coordenador

Comitê Gestor

 

Adolfo Almeida Duran (UFBA)

Integrante do Comitê Gestor

Mohammad Mousavi (Universidade de Leicester)

Integrante do Comitê Gestor

 

Philip Waddler (Universidade de Edimburgo)

Integrante do Comitê Gestor

Tiago Lima Massoni (UFCG)

Integrante do Comitê Gestor

 

Volker Stolz (HVL)

Integrante do Comitê Gestor

 
     


Gestão 2019 - 2020

Gestão 2017-2018

Gestão 2016-2017

Gestão 2015 -2016