O 3º congresso mundial de Métodos Formais (FM) irá decorrer no Porto de 7-11 de Outubro de 2019.
É organizado de 10 em 10 anos pela Formal Methods Europe e este ano o organizador geral é José Nuno Oliveira, Universidade do Minho & INESC-TEC.
É composto por 10 conferências (incluindo o símpósio FM 2019), 15 Workshops (onde os métodos formais são relacionados com áreas como Machine Learning ou Blockchains), 7 Tutoriais e ainda um simpósio doutoral e um dia da Industria.
É assim uma grande festa da computação!
Nelma Moreira, docente do DCC-FCUP, é co-organizadora das Workshops&Tutoriais. Rogério Reis, também docente do DCC-FCUP, co-organiza a 1º Workshop em programação reversível RPLA.
Os prazos para as inscrições podem ser consultados aqui.