Conference organisation and PC member

'Membro do comite de programa do Formal Methods (FM)', Formal Methods Europe, Eindhoven, Holanda, 2009.

'Membro do Steering Committee do ICTAC', UNU-IIST, Malásia, Malásia, 2009.

'Membro do comite organizador fo CHARLA', SBC, Buenos Aires, Argentina, 2008.

'Membro do comite de programa do VSTTE', Springer, Toronto, Canadá, 2008.

'Membro do comite de programa do SEFM', IEEE, Cape Town, África do Sul, 2008.

'Membro do comite de programa do SBMF', SBC, Salvador, Brasil, 2008.

'Membro do comite de programa do SBES', SBC, Campinas, Brasil, 2008.

Veja mais: 1234567891011121314151617