Pedro Ferreira and Ibéria Medeiros are members of the organizing committee of the first Workshop on Machine Learning for CyberSecurity (MLCS 2019). The Workshop will take place on September 20 2019, in Wurzburg, Germany, and is co-located with the European Conference...
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...
