'Membro do comite de programa do ICTSS', Springer, Natal, Brasil, 2010.
'Membro do comite de programa do ICFEM', Springer, Shanghai, China, 2010.
'Membro do Steering Committee do ICTAC', UNU-IIST, Natal, Brasil, 2010.
'Coordenador do comite de programa do II Grandes Desafios', SBC, Manaus, Brasil, 2010.
'Membro do comite de programa do SBMF', SBC, Gramado, Brasil, 2009.
'Membro do comite de programa do SBES', SBC, Fortaleza, Brasil, 2009.
'Membro do comite de programa do Integrated Formal Methods (IFM)', Springer, Dusseldorf, Alemanha, 2009.