Categoria: Informática

INESC TEC organiza congresso mundial com 600 profissionais na área da Informática

by ana.c.vieira

2019-10-30

O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área ...

INESC TEC participa em projeto europeu para estudar fenómenos climáticos

by ana.c.vieira

2019-10-28

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

by ana.c.vieira

2019-10-28

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

by ana.c.vieira

2019-10-22

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

by ana.c.vieira

2019-10-22

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

by ana.c.vieira

2019-10-28

O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) ...