Alexey Ignatiev and António Morgado, LASIGE integrated researchers, are organising a Summer School in Lisbon this July. The SAT/SMT/AR Summer School focus on the recent advances of Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning...
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...
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...
PixelsCamp, the largest hackathon in Portugal, was held between last Thursday to Saturday. During the event, teams had 48 hours to come up with a new idea and implement it. The event sponsors awarded prizes to the top 10 ideas presented in 90 second pitches. Salazar,...
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...
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. This competition took place in Daegu, South Kore, this week. LASIGE participated with the video “Exploring...
