Conference organisation and PC member

'Membro do comite de programa do SBMF', SBC, São Paulo, Brasil, 2011.

'Membro do comite de programa do ICFEM', Springer, Durham, Inglaterra, 2011.

'Membro do comite de programa do Formal Methods (FM)', Formal Methods Europe, Limerick, Irlanda, 2011.

'Membro do Steering Committee do ICTAC', UNU-IIST, Joanesburgo, África do Sul, 2011.

'Membro do comite de programa do VSTTE', Springer, Edimburgo, Escócia, 2010.

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

'Membro do comite de programa do SBES', SBC, Salvador, Brasil, 2010.

Veja mais: 1234567891011121314151617