Conference organisation and PC member

'Membro do comite de programa do SEMISH', SBC, Curitiba, Brasil, 2012.

'Membro do comite de programa do SEFM', Springer, Thessalowiki, Grécia, 2012.

'Membro do comite de programa do SBMF', SBC, Natal, Brasil, 2012.

'Membro do comite de programa do SBES', SBC, Natal, Brasil, 2012.

'Membro do comite de programa do Formal Methods (FM)', Formal Methods Europe, Paris, França, 2012.

'Membro do Steering Committee do ICTAC', UNU-IIST, Bangalore, Índia, 2012.

'Membro do comite de programa do SEFM', Springer, Montevideu, Uruguai, 2011.

Veja mais: 12345678910