Conference organisation and PC member
'Membro do comite de programa do Formal Methods (FM)', Formal Methos Europe, Turku, Finlândia, 2008.
'Membro do comite de programa da Unifying Theories of Programming (UTP)', Springer, Dublin, Irlanda, 2008.
'Membro do Steering Committee do ICTAC', UNU-IIST, Istambul, Turquia, 2008.
'Membro do comite de programa do SEFM', IEEE, Londres, Inglaterra, 2007.
'Membro do comite de programa do SBMF', SBC, Ouro Preto, Brasil, 2007.
'Membro do comite de programa do SBES', SBC, João Pessoa, Brasil, 2007.
'Membro do comite de programa do SAST', SBC, João Pessoa, Brasil, 2007.