Conference organisation and PC member

'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.

'Membro do Comitê Organizador do SBCCI 2006', SBC, , Brasil, 2006.

'PC Chair do Simpósio Brasileiro de Métodos Formais (SBMF-2005)', SBC, Porto Alegre, Brasil, 2005.

'PC Chair da Comissão de Tutoriais do SBES 2005', SBC, , Brasil, 2005.

'Membro do Comitê de Programa do SBES2005', SBC, Uberlândia, Brasil, 2005.

'Membro do Comitê de Programa do ICTAC2005', UNU/IIST - United Nations University, Hanói, Vietnã, 2005.

Veja mais: 1234567891011121314151617