Conference organisation and PC member

'Membro do Comitê de Programa do ICTAC 2020', , , Macau, 2020.

'Membro do Comitê de Programa do FASE (ETAPS) 2020', , , Irlanda, 2020.

'Membro do Comitê de Programa do SBMF 2020', , Ouro Preto, Brasil, 2020.

'Chair do Formal Methods Europe (FME) Awards Committee', , , Holanda, 2020.

'Membro do Comitê de Programa do SEFM 2019', , Oslo, Noruega, 2019.

'Membro do Comitê de Programa do ICTAC 2019', , Hammamet, Tunísia, 2019.

'Membro do Comitê de Programa do Formal Methods (FM) 2019', , Porto, Portugal, 2019.

Veja mais: 1234567891011121314151617