Conference organisation and PC member
'Membro do comite de programa do JAI', SBC, Rio de Janeiro, Brasil, 2007.
'Membro do Steering Committee do ICTAC', UNI-IIST, Macau, China, 2007.
'PC Chair do Formal Methods Doctoral Symposium (FM'06)', Formal Methods Europe, Hamilton, Canadá, 2006.
'Membro do Steering Comittee do SBMF2007', SBC, Ouro Preto, Brasil, 2006.
'Membro do Steering Comittee do SBMF2006', SBC, Natal, Brasil, 2006.
'Membro do Comitê de Programa do SBES2006', SBC, Campo Grande, Brasil, 2006.
'Membro do Comitê de Programa do ICTAC2006', UNU/IIST - United Nations University, Túnis, TunÃsia, 2006.