Conference organisation and PC member
'Membro do Comitê de Programa do ICTAC 2014', UNIIIST, , Romênia, 2014.
'Membro do Comitê de Programa do FMi 2014 - IEEE International Workshop on Formal Methods Integration', IEEE, San Francisco, Estados Unidos, 2014.
'Membro do Comitê de Programa do FM2014 - Formal Methods', Formal Methods Europe, , Cingapura, 2014.
'Membro do Comitê de Programa do SEFM 2013', Universidad Complutense de Madrid, Madri, Espanha, 2013.
'Membro do Comitê de Programa do SBMF 2013', SBC, , Brasil, 2013.
'Membro do Comitê de Programa do SBES 2013', SBC, Brasilia, Brasil, 2013.
'Membro do Comitê de Programa do ICTAC 2013', UNUIIST, , China, 2013.