INESC TEC organiza congresso mundial com 600 profissionais na área da Informática
O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área ...
Categoria: Informática
INESC TEC participa em projeto europeu para estudar fenómenos climáticos
O INESC TEC é a única instituição portuguesa a participar num consórcio europeu que tem por missão compreender os mecanismos ...
Jubilação de José Manuel Valença com casa cheia
José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia ...
INESC TEC participa em projeto de tecnologia HF Radar na Galiza e Norte de Portugal
O INESC TEC participa no Projeto Transfronteiriço RADAR_ON_RAIA, coordenado pela CETMAR – Centro Tecnológico del Mar_Fundación CETMAR, e aprovado pelo ...
INESC TEC participa em conferência internacional na área de sistemas distribuídos confiáveis
Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable ...
Artigo mais influente da VL/HCC 2019 tem co-autoria INESC TEC
O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) ...
RDA-pt realizou workshop na Open Science Fair
A Research Data Alliance portuguesa (RDA-pt), organização com co-coordenação do INESC TEC, realizou um workshop na Open Science Fair, subordinado ...
INESC P&D Brasil contribui para a assimilação das tecnologias digitais na indústria brasileira
Cloud computing, Big Data, Manufatura aditiva, Internet of Things (IoT) e Inteligência Artifical (IA) são algumas das tecnologias que estão ...
Investigadores INESC TEC organizam 1.º Seminário sobre Ensino de Videojogos
Reunir a comunidade nacional que leciona sobre videojogos e identificar boas práticas de ensino foi o objetivo do 1.º Seminário ...
INESC TEC organiza workshop internacional em sistemas de recomendação e modelação de utilizadores
Uma equipa de investigadores do INESC TEC foi responsável pela organização do workshop internacional ORSUM 2019 – 2nd Workshop on ...
Notícias, atualidade, curiosidades e muito mais sobre o INESC TEC e a sua comunidade!
