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.

Nuno Neves gave an invited talk explaining recent research results
attained by LASIGE in the area of web application vulnerability
discovery at an event at the Pontifica Universidade Católica, Brazil.
The talk had the title "Software Security - Looking for a Needle in a
Haystack", and was made in the context of the Introduction to Scientific
Research event, which involves more than two thousand students from
undergraduate and post-graduation degrees.

Data & Systems Intelligence Meetups are monthly gatherings of LASIGE members with interests in Data Science, Data Mining, Machine Learning, Artificial intelligence and related topics.

Title: Towards a reliable prediction of conversion from Mild Cognitive Impairment to Alzheimer’s Disease