Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors, by Meng Sun (Peking University, China)
07 fevereiro 2018
Áreas de aplicação: alterações climáticas, modelação oceânica, exploração espacial, sistemas de energia
20 dezembro 2017
Resource-Aware Models in ABS por Einar Broch Johnsen
14 dezembro 2017
Credenciação de segurança, cibersegurança, proteção de informação sensível, espionagem económica e tecnológica
28 novembro 2017
Moderado por Alexandre Mendes, Executive Director na Startup Braga
27 novembro 2017
Atividade organizada no âmbito da Semana da Ciência e Tecnologia, iniciativa da Ciência Viva
24 novembro 2017
Conheça as últimas tendências de negócio no Digital e encontre parceiros internacionais para projectos de investigação, tecnologia e negócio!
26 abril 2017
As sessões B2B do Future Match voltam, em 2017, a estar na agenda da CeBIT, feira mundial de referência no domínio das TICs - Tecnologias de Informação e Comunicação. A Enterprise Europe Network - Portugal associa-se, uma vez mais, à co-organização deste evento de brokerage através do parceiros locais INESC TEC, IAPMEI, ACIF e CEC.
24 março 2017
A talk by Walter Riess, head of the science & technology department at IBM Research - Zurich.
02 março 2017
A Fundação Repsol e o INESC TEC convidam para a sessão de apresentação do Fundo de Empreendedores da Fundação Repsol que vai disponibilizar 144 mil euros/projeto para apoiar as startups com soluções mais inovadoras na área da indústria energética e química, da geração, distribuição e armazenamento de eletricidade e da mobilidade.
20 fevereiro 2017
No dia 15 de fevereiro, às 14h, tem lugar o 32nd InfoBlender Seminar no Laboratório de Software Confiável (HASLab), apresentado por Christopher Meiklejohn.
15 fevereiro 2017
No dia 8 de fevereiro, às 14h, tem lugar o 31st InfoBlender Seminar no Laboratório de Software Confiável (HASLab), apresentado por Rolando Martins.
08 fevereiro 2017
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.