Conference organisation and PC member
'Membro do Steering Comittee do SBES2003', SBC, Manaus, Brasil, 2003.
'Membro do Steering Comittee do SBES2002', SBC, Gramado, Brasil, 2002.
'Membro do Comitê de Programa da JIISIC2002', SBC, Salvador, Brasil, 2002.
'Membro do Comitê de Programa da International Conferemce on Formal Methods (ICFEM) 2002', IEEE, Shanghai, China, 2002.
'Summer School on Object-Oriented Processes and Technologies', United Nations University, Recife, Brasil, 2001.
'Membro do Steering Comittee do SBES2001', SBC, Rio de Janeiro, Brasil, 2001.
'Membro do Comitê de Programa do Formal Methods Europe 2001 (FME 2001)', Springer, Berlin, Alemanha, 2001.