Conference organisation and PC member
'PC Chair do Simpósio Brasileiro de Engenharia de Software (SBES-2000)', SBC, João Pessoa, Brasil, 2000.
'Membro do Steering Comittee do SBES99', SBC, Florianópolis, Brasil, 1999.
'Membro do ComiTê de Programa do Fomal Methods (FM) 99 - World Congress on Formal Methods', Springer, Toulouse, França, 1999.
'Membro do Comitê de Programa do SBES98', SBC, Maringá, Brasil, 1998.
'PC Chair do Workshop Brasileiro de Hardware/Software Codesign', SBC, Recife, Brasil, 1996.