Conference organisation and PC member

'Membro do Comitê de Programa do FASE (ETAPS) 2019', , Praga, República Tcheca, 2019.

'Chair do Comitê de Programa do UTP 2019', , , Portugal, 2019.

'Chair da Journal-First track do FM-2019', , Porto, Portugal, 2019.

'Membro do Comitê de Programa do SEFM 2018', , Toulouse, França, 2018.

'Membro do Comitê de Programa do SBMF 2018', , Salvador, Brasil, 2018.

'Membro do Comitê de Programa do ICTAC 2018', , Stellenbosch, África do Sul, 2018.

'Membro do Comitê de Programa do Formal Methods (FM) 2018', , Oxford, Grã-Bretanha, 2018.

Veja mais: 1234567891011121314151617