3rd World Congress on formal methods

7 a 11 de Outubro 2019 | Centro de Congressos da Alfândega do Porto

O 3rd World Congress on Formal Methods decorre de 7 a 11 de outubro no Centro de Congressos da Alfândega do Porto.

É composto por 9 conferências, 16 Workshops, 7 Tutorials 1 simpósio doutoral e um dia da industria. Tem como ponto alto no dia 8, a palestra por Tony Hoare que marca os 50 anos do artigo "An Axiomatic Basis for Computer Programming”. 

Mais informações aqui. 



Divulgue os seus eventos e projetos | comunica@fc.up.pt