Métodos Formais
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: hbarbosa@dcc.ufmg.br
Página Web: http://comissoes.sbc.org.br/ce-mf/
Gestão 2024 – 2024
Coordenação
| Haniel Moreira Barbosa – UFMG Coordenador | Sérgio Vale Aguiar Campos (UFMG) Vice-coordenador |
Comitê Gestor
| Lucas Albertins de Lima – UFPE Integrante do Comitê Gestor | |
| Sérgio Vale Aguiar Campos – UFMG Integrante do Comitê Gestor |
Gestões anteriores
Coordenação
| Lucas Albertins de Lima (UFRPE) Coordenador | Sérgio Vale Aguiar Campos (UFMG) Vice-coordenador |
Comitê Gestor
| Gustavo Henrique Porto de Carvalho (UFPE) Integrante do Comitê Gestor | Marius Minea (University of Massachusetts, EUA) Integrante do Comitê Gestor |
| Vince Molnár (Budapest University of Technology and Economics, Hungria) Integrante do Comitê Gestor | Volker Stolz (Western Norway University of Applied Sciences, Noruega) Integrante do Comitê Gestor |
Coordenação
| Sérgio Vale Aguiar Campos (UFMG) Coordenador |
Comitê Gestor
| Gustavo Henrique Porto de Carvalho (UFPE) Membro do Comitê Gestor |
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 |
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ê Gesto |
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 |