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.

Next Tuesday, February 12th, LASIGE is hosting it's 4th annual workshop, featuring a variety of activities.


Two keynotes headline the event: University College London's Alexandra Silva will talk about Coalgebraic Learning for Automated Modelling, and European Comission's Tiago Maurício will talk about how to maintain the infrastructure for their public websites.


TechRepublic has published an article about Vawlt and its technology, a startup born at LASIGE.

LASIGE researcher Nuno Neves was interviewed by the ionline newspaper to present the status of cybersecurity in Portugal.

RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics.

Title: JaVerT 2.0: Compositional Symbolic Execution for JavaScript

Presenter: José Fragoso Santos (Imperial College London)

HEALx-LAB, a living lab for the development of technology in healthcare and tourism has been officially announced last month. The living lab aims to bring academia, private institutions, government bodies and general public together to identify problems and develop solutions in these areas. HEALx-LAB will be coordinated by the Faculty of Sciences and it includes other four ULisboa institutions (FMH, FMUL, ICS and IST), José de Mello Residências e Serviços, Vila Galé Group and PLUX.