Eventos organizados
'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.
'Membro do Comitê de Programa da Software Engineering and Formal Methods (SEFM) 2006', IEEE, Pune, Índia, 2006.
'Membro do Comitê de Programa da International Conferemce on Formal Methods (ICFEM) 2006', IEEE, Macau, Macau, 2006.