Comissão Especial de Métodos Formais - Gestão 2022-2023
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
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) ntegrante do Comitê Gestor |
Volker Stolz (Western Norway University of Applied Sciences, Noruega) Integrante do Comitê Gestor |