- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
Ciclo de Conferências "A Economia Portuguesa e a Indústria 4.0 - O caminho de uma nova industrialização".
21 fevereiro 2018
An Executable Formal Framework for Safety-Critical Human Multitasking, by Giovanna Broccia (University of Pisa, Italy)
21 fevereiro 2018
Ciclo de Conferências "A Economia Portuguesa e a Indústria 4.0 - O caminho de uma nova industrialização", com organização do semanário Vida Económica e INESC TEC.
08 fevereiro 2018
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