EventosNotícias

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

O congresso tem início na próxima 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 na próxima 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”.

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.

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
Este site utiliza cookies. Ao continuar a utilizá-lo estará a aceitar a nossa política de privacidade e os nossos Termos de utilização. Mais informação acerca da forma como utilizamos cookies está disponível aqui.
×