Conference organisation and PC member

'Membro do Comitê de Programa da Software Engineering and Formal Methods (SEFM) 2005', AGRI - Artifitial Intelligence Research Koblens, Koblens, Alemanha, 2005.

'Pernambuco School on Software Engineering - Refinement', United Nations University, Recife, Brasil, 2004.

'Membro do Comitê de Programa do Software Ebgineering and Formal Methods (SEFM) 2004', United Nations University, Beijing, China, 2004.

'Membro do Comitê de Programa do SBES2004', SBC, Brasília, Brasil, 2004.

'Membro do Comitê de Programa do ICTAC2004', UNU/IIST - United Nations University, Guiyang, China, 2004.

'Membro do Comitê de Programa da International Conferemce on Formal Methods (ICFEM) 2004', IEEE, Seatle, Estados Unidos, 2004.

'Membro da comissão organizadora do SBMF 2004', SBC, Recife, Brasil, 2004.

Veja mais: 1234567891011121314151617