Promo

News

HASLab organises world congress with 600 professionals in the computer science field

The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October. Around 600 experts from more than 40 different nationalities attended this international congress, known as the largest international congress on the Formal Methods area.

Last lesson of José Manuel Valença with a full house

José Manuel Valença, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Full Professor at the School of Engineering of the University of Minho, lectured his last lesson on 18 October at the University of Minho in Braga.

Most influential paper of the VL/HCC 2019 conference was co-written by HASLab

The paper Automatically Inferring ClassSheet Models from Spreadsheets, co-written by João Saraiva, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho, was awarded the Most Influential Paper from the VL/HCC 2019 international conference, which took place in Memphis, Tennessee, USA, between 14 and 18 October.

December 2019

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