Conference organisation and PC member

'PC Chair do ICTAC 2016', National Taiwan University, Taipei, China, 2016.

'Membro do Comitê de Programa do TAP 2016', TU Wien, Viena, Austria, 2016.

'Membro do Comitê de Programa do SEFM 2016', TU Wien, Viena, Austria, 2016.

'Membro do Comitê de Programa do SBMF 2016', SBC, , Brasil, 2016.

'Membro do Comitê de Programa do FM2016 - Formal Methods', Formal Methods Europe, , Chipre, 2016.

'Membro do Comitê de Programa do WTDSoft 2015', SBC, Belo Horizonte, Brasil, 2015.

'Membro do Comitê de Programa do SEFM 2015', University of York, York, Grã-Bretanha, 2015.

Veja mais: 1234567891011121314