Alexey Ignatiev and António Morgado, LASIGE integrated researchers, are organising a Summer School on the topics of SAT, SMT and Automated Reasoning in Lisbon this July.

LASIGE participated at FCUL’s job fair Jobshop Ciências 2019 on April 11. JobShop Ciências aims to be a preferential forum of access of students and graduates to the job market.

We were represented by members of our different research lines and the team of one of our start ups (Vawlt). LASIGE professor and investigator Ana Paula Afonso acted as our ambassador and made a general presentation of our unit to a captivated audience.

This past week, Vasco Vasconcelos, LASIGE member and director, won the ETAPS Test of Time Award with the paper "Language Primitives and Type Discipline for Structured Communication-Based Programming", co-authored with Kohei Honda and Makoto Kubo.

The ETAPS Test of Time Award, instituted 2017, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS.

Alcides Fonseca was part of the team that won the 3rd edition of the PixelsCamp hackathon competition.

The University of Lisbon (ULisboa), with the support of Caixa Geral de Depósitos (CGD), presents every year the "University of Lisbon / Caixa Geral de Depósitos Scientific Prizes", which aims to reward scientific research activity and encourage the practice of publication in international journals of recognized quality.

LASIGE researchers Tiago Guerreiro and André Rodrigues were part of the team that won the 1st place in the ACM/IEEE HRI 2019 Video Competition.

Nuno Neves was elected as Vice-Chair of the IEEE Technical Committee on
Dependable Computing and Fault Tolerance (TCFT) for the period (march)
2019-2020.

On the 28th of February, Google held the qualifying round globally through the internet. The best score from Portugal was obtained by Caracóis Hipercondríacos, a team that features two LASIGE junior researchers: Robin Vassantlal and Nuno Burnay.

The team achieved 1st place in the country and 120th globally.

Ibéria Medeiros and Pedro Ferreira are members of the organizing committee of the first Workshop on Data-Centric Dependability and Security (DCDS 2019). Alysson Bessani is a member of DCDS 2019 Program Committee.

The Workshop will take place on June 24 2019, in Portland, Oregon, USA, and is co-located with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019)