Promo

News

DaVinci is the new research project of HASLab

DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systemsis the new research project of INESC TEC’S High Assurance Software Laboratory (HASLab) that was recently approved by the Foundation for Science and Technology (FCT) and that aims to analyse and implement distributed software systems based on cyber-physical components.

HASLab hosts one of the largest conferences on computer systems

The EuroSys - European Conference on Computer Systems, which is one of the world’s largest conferences on computer systems, took place in the city of Porto between 23 and 26 April. Around 300 participants from all over the world attended this conference, known as one of the largest international conferences on computer systems.

HASLab’s researcher was nominated for the cor Baayen Young Researcher Award of the ERCIM

João Tiago Paulo, INESC TEC’s collaborator of the High Assurance Software Laboratory (HASLab), was one of the fifteen finalists present at the ERCIM 2017 Cor Baayen Young Researcher Award.

May 2018

S
M
T
W
T
F
S
29
30
1
2
3
4
5
6
7
8
9
10
11
12
27
28
29
30
31
1
2