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

PremiumInvestimento na digitalização sobe, mas menos que expectável

Estudo mostra que empresas de Tecnologia, Turismo, Hotelaria e Restauração estão perto do patamar digital avançado. Bancos são os que se focam mais na experiência digital dos clientes.

PremiumTecnologia. Como as criptomoedas estão a chegar ao futebol

As transações em moedas digitais já são uma realidade no mundo desportivo. Os portugueses Nuno Correia, César Carvalho e Hélder Silva lideram projetos inovadores e acreditam que as criptomoedas serão o “dinheiro de amanhã” no futebol.

Em menos de uma década 85% das interações com os clientes serão automatizadas

De acordo com o gestor da Oracle Portugal, Bruno Morais, que apresentou um estudo da empresa na IDC Directons, esta semana, “a automatização das tarefas diárias, que deverá atingir 70% nas TI até 2025, irá duplicar a produtividade nesse período”.
Comentários