RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Automatic Detection and Resolution of Deadlocks in...
Speakers: Zygimantas Jasiunas (LASIGE, DI/FCUL) & José Ferreira (LASIGE, DI/FCUL) Date: May 3, 2023, 12h00 Where: C6.2.46 Talk 1: Time series based real-life energy assessment of household appliances Abstract: The European Union’s regulations for appliance energy...
The EU-funded WideHealth project aims to conduct research on pervasive eHealth and establish a sustainable network of research and dissemination across Europe. Title: Federated Learning for Activity Recognition: A System Level Perspective Speaker: Borche Jovanovski,...
Title: User Interface Personalization: Investigating Current Practices, Challenges and Aspirations Speaker: Sérgio Alves, LASIGE/DI-FCUL Date: April 20, 2023, 12h Where: Room 6.3.27 Abstract: Personalization of User Interfaces (UI) has long been an approach to bridge...
Speakers: Georg Jäger (LASIGE) & Robin Vassantlal (LASIGE, DI/FCUL) Date: April 19, 2023, 12h00 Where: C6.3.27 Talk 1: Safety Guarantees in Presence of Disturbances and Uncertainties – Regions of Safety and Beyond? Abstract: Providing safety for any system...
