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

01 outubro 2019

O objetivo? Reunir investigadores, académicos e profissionais da indústria tecnológica com atividade na área da informática, e em concreto no tópico de Métodos Formais, para promover a qualidade e fiabilidade num setor com cada vez mais relevância tecnológica e social – o desenvolvimento de software confiável.

Vão decorrer mais de 30 sessões em simultâneo durante os dias do Congresso em três locais da cidade do Porto – edifício da Alfândega, Museu World of Discoveries e Hotel Vincci – divididas entre 9 conferências, 16 workshops, 7 tutoriais e outros eventos, tais como o dia da Indústria e o simpósio doutoral, entre outros. Serão vários os oradores convidados de renome, com destaque para a sessão do dia 8 de outubro, às 09h00, no edifício da Alfândega do Porto, em que o investigador britânico Tony Hoare dará uma palestra a convite de várias das conferências associadas ao congresso.

Tony Hoare recebeu um Turing Award, uma distinção na área da informática geralmente reconhecida como o Prémio Nobel da Computação. A palestra que o especialista irá dar no dia 8 de outubro marca precisamente os 50 anos (outubro de 1969) da publicação de um dos seus artigos, que continua a ser dos mais citados de sempre nas Ciências da Computação – “An Axiomatic Basis for Computer Programming”.

Mas o que são os métodos formais? “São técnicas de programação que atingem elevados níveis de qualidade e fiabilidade através do recurso ao tratamento matemático dos problemas que podem ser abordados por software. Todos os sistemas militares, de segurança, de energia, de saúde, de ensino, todos os back offices e sistemas operacionais das empresas - enfim, todos os sistemas em que a nossa civilização assenta - dependem de software sofisticado que se desenvolve continuamente para que possam operar e servir-nos. Em problemas de segurança crítica, os erros de programação podem ter consequências devastadoras. É aqui que os métodos formais se tornam ferramentas muito importantes. Uma das linhas de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC tem uma vasta experiência nesta área, aplicando os métodos formais em áreas como a segurança, a interface humano-computador, o model checking, o cálculo e verificação de programas e, mais recentemente, a programação quântica”, explica José Nuno Oliveira, presidente do comité organizador, investigador do INESC TEC e docente na Universidade do Minho. São aliás estas duas instituições as organizadoras deste congresso, juntamente com a Formal Methods Europe.

O 3^rd World Congress on Formal Methods vai contar com a apresentação de cerca de 400 artigos científicos submetidos por investigadores, académicos e profissionais da indústria. Da parte da indústria tecnológica é de destacar a presença de instituições de renome, tais como Apple, Airbus, Booking.com, ESA, Fraunhofer, Microsoft, MathWorks, NASA, Samsung, VERIMAG, entre outras.

O congresso tem início na próxima segunda-feira, dia 7 de outubro, às 18h00, momento em que os mais de 500 especialistas serão recebidos no cais da Alfândega do Porto.

Mais informações sobre o congresso podem ser consultadas aqui: http://formalmethods2019.inesctec.pt/

Para mais informações:

Joana Coelho

Serviço de Comunicação

INESC TEC

Campus da FEUP

Rua Dr Roberto Frias

4200-465 Porto

Portugal

T +351 22 209 4297

M +351 924 444 321

Joana.d.coelho@inesctec.pt