Composição Atual

    • Coordenador: Lucas Lima (UFRPE)


    • Comitê Gestor (2022-2023)

    • Gustavo Carvalho (PC co-chair do SBMF 2020)

    • Volker Stolz (PC co-chair do SBMF 2020)

    • Sérgio Campos (PC co-chair do SBMF 2021)

    • Marius Minea (PC co-chair do SBMF 2021)

    • Lucas Lima (PC co-chair do SBMF 2022)

    • Vince Molnár (PC co-chair do SBMF 2022)


    • Comissão Permanente de Métodos Formais

    • Alexandre Mota (UFPE)

    • Álvaro Moreira (UFRGS)

    • Ana Cavalcanti (UYork, UK)

    • Ana Cristina Vieira de Melo (USP)

    • Anamaria Martins Moreira (UFRN)

    • Arnaldo Moura (UNICAMP)

    • Augusto Sampaio (UFPE)

    • David Déharbe (UFRN)

    • Leila Ribeiro (UFRGS)

    • Patricia Machado (UFCG)