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

The European Project  "XIVT - eXcellence In Variant Testing" (Call: ITEA3 Call 4 – Smart Engineering), of LASIGE is a part of, started this month.

The project is coordinated by Gunnar Widforss from Bombardier, Sweden and includes 24 partners from both european and canadian academia and industry. LASIGE is the only partner to provide expertise in software security and application of Natural Language Processing on software testing.

Pages