Conference organisation and PC member
'Membro do Comitê de Programa do FMi2015 - IEEE International Workshop on Formal Methods Integration', IEEE Computer Society, San Francisco, Estados Unidos, 2015.
'Membro do Comitê de Programa do FACS2015 - Formal Aspects of Component Software', Universidade Federal Fluminense, Niteroi, Brasil, 2015.
'Membro do Comitê de Programa do Doctoral Symposium of Formal Methods', Formal Methods Europe, Oslo, Noruega, 2015.
'Membro do Comitê de Programa do SEFM 2014', INRIA, Grenoble, França, 2014.
'Membro do Comitê de Programa do SBMF 2014', SBC, , Brasil, 2014.
'Membro do Comitê de Programa do SBES 2014', SBC, Maceió, Brasil, 2014.
'Membro do Comitê de Programa do IFM 2014 - Integrated Formal Methods', University Residential Center, Bertinoro, Itália, 2014.