Porto recebe mais de 500 especialistas mundiais em informática

Portugal foi o país escolhido para receber aquela que é a terceira edição do “Congresso Mundial dos Métodos Formais”, que se realiza esta segunda-feira, dia 7 de outubro, às 18h00.

Portugal foi o país escolhido para receber aquela que é a terceira edição do “Congresso Mundial dos Métodos Formais”. O Porto é a cidade que vai acolher durante cinco dias mais de 500 especialistas na área da informática de 40 nacionalidades diferentes. O congresso tem início esta segunda-feira, dia 7 de outubro, às 18h00.

José Nuno Oliveira, presidente do comité organizador e investigador do INESC TEC, explica que 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, os back offices e sistemas operacionais das empresas 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” – José Nuno Oliveira

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 nove conferências, 16 workshops, sete  tutoriais e outros eventos, tais como o dia da Indústria e o simpósio doutoral.

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. 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.

PCGuia
Ler mais
Recomendadas

Covid-19: Tecnológica Primavera lança utilitário para gerir medidas do Governo

A ferramenta será disponibilizada gratuitamente aos clientes que usem as versões 9 e 10 do ERP da tecnológica.

Trabalhar no estrangeiro é incentivo nas TI

Em vez de ginásios, restaurantes ou outros benefícios, as empresas ‘tech’ captam os jovens com uma experiência internacional e rendimentos muito acima daqueles que são pagos em Portugal.

Unidades de investigação nacionais captaram mais 34 milhões de euros de fundos comunitários

As áreas da saúde e da engenharia representam 77% dos novos projetos aprovados no programa ‘Widening’ do Horizonte 2020.
Comentários