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, UM & 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!
No DCC, a Prof. Nelma Moreira é co-organizadora das Workshops&Tutoriais e o Prof. Rogério Reis co-organiza a 1º Workshop em programação reversível RPLA.
As Calls para submissões estão já abertas para quase todos os eventos e convidámos todos a participar.
Aos estudantes irá também ser pedida a colaboração para ajudarem a organização durante o evento.