Conference organisation and PC member
'Membro do Comitê de Programa do SBMF 2016', SBC, , Brasil, 2016.
'Membro do Comitê de Programa do FM2016 - Formal Methods', Formal Methods Europe, , Chipre, 2016.
'Membro do Comitê de Programa do WTDSoft 2015', SBC, Belo Horizonte, Brasil, 2015.
'Membro do Comitê de Programa do SEFM 2015', University of York, York, Grã-Bretanha, 2015.
'Membro do Comitê de Programa do SBMF 2015', SBC, , Brasil, 2015.
'Membro do Comitê de Programa do ProCoS 2015: Provably Correct Systems', BCS - British Computer Society, Londres, Grã-Bretanha, 2015.
'Membro do Comitê de Programa do ICTAC 2015', Pontificia Universidad Javeriana Cali, Cali, Colômbia, 2015.