Cidade do Porto recebe mais de 500 especialistas mundiais na área da informática

Tony Hoare, vencedor de um Turing Award – reconhecido como o Prémio Nobel da Computação – vai marcar presença, juntamente com representantes da grande indústria tecnológica como Apple, Airbus, NASA, Samsung, AWS, Google e Sony.  Chama-se “Congresso Mundial dos Métodos Formais” e é um evento que reúne os especialistas de todo o mundo na área da informática, realizando-se apenas de 10 em 10 anos. Portugal foi o país escolhido para receber aquela que é a terceira edição deste congresso. O Porto é a cidade que vai acolher durante cinco dias mais de 500 especialistas de 40 nacionalidades