Conference organisation and PC member
'Membro do Comitë de Programa do Applicable Formal Methods (appFM2021)', , Pequim, China, 2021.
'Membro do Comitê de Programa do SEFM 2021', , , Grã-Bretanha, 2021.
'Membro do Comitê de Programa do SBMF 2021', , Belo Horizonte, Brasil, 2021.
'Membro do Comitê de Programa do FASE (ETAPS) 2021', , , Luxemburgo, 2021.
'Chair do Formal Methods Europe (FME) Awards Committee', , , Holanda, 2021.
'Chair da Journal-First track do ICST-2021', , Porto de Galinhas, Brasil, 2021.
'Membro do Comitê de Programa do SEFM 2020', , Amsterdam, Holanda, 2020.