Coordenador: Sidney Nogueira (UFRPE)
Comitê Gestor (2024-2025)
Lucas Lima (PC co-chair do SBMF 2022)
Vince Molnár (PC co-chair do SBMF 2022)
Haniel Barbosa (PC co-chair do SBMF 2023)
Yoni Zohar (PC co-chair do SBMF 2023)
Sidney Nogueira (PC co-chair do SBMF 2024)
Ciprian Teodorov (PC co-chair do SBMF 2024)
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)