Porto recebe mais de 500 especialistas mundiais em inform\u00e1tica

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.

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.

Portugal Últimas Notícias, Portugal Manchetes

Similar News:Você também pode ler notícias semelhantes a esta que coletamos de outras fontes de notícias.

Marinha mostra primeiras fotos subaquáticas do Porto das LajesO NRP Set&250;bal, que se encontra em miss&227;o no arquip&233;lago dos A&231;ores, navegou para a ilha das Flores esta sexta-feira para &34;a
Fonte: Publico - 🏆 7. / 73 Consulte Mais informação »

Oracle abre Novo Centro Mundial de Inova\u00e7\u00e3o e Tecnologia no Porto
Fonte: ojeconomico - 🏆 11. / 67 Consulte Mais informação »

FC Porto, rei e senhor da Supertaça António Livramento“Dragões” venceram a Oliveirense e conquistaram o troféu pela 23.ª vez na história.
Fonte: Publico - 🏆 7. / 73 Consulte Mais informação »

FC Porto conquista Supertaça de hóquei em patins pela 23.ª vezCampeões nacionais em título superiorizaram-se na segunda metade aos detentores da Taça de Portugal, que nunca ganharam a Supertaça.
Fonte: cmjornal - 🏆 26. / 51 Consulte Mais informação »

FC Porto conquista Supertaça de hóquei em patins pela 23.ª vezHóquei em Patins - FC Porto conquista Supertaça de hóquei em patins pela 23.ª vez
Fonte: Record_Portugal - 🏆 24. / 51 Consulte Mais informação »

FC Porto conquista Supertaça de hóquei em patins pela 23.ª vez
Fonte: cmjornal - 🏆 26. / 51 Consulte Mais informação »