Title: Community-Based Personalization of User Interfaces Speaker: Sérgio Alves, LASIGE/DI-FCUL When: May 23, 2024, 12h Where: Sala 6.3.27 Abstract: User interface (UI) personalization can improve usability and user experience. However, current systems offer limited...
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: Fair termination of the binary session Speaker:...
Title: From Personal Data to Personal Health: Designing for Goals, Reflection, and Personalisation Speaker: Rúben Gouveia (LASIGE/DI) Date: July 3, 2024, 14h00 Where: FCUL, 6.3.27 Abstract: Many patients and health providers believe that health technologies,...
Title: Smoothed analysis of deterministic discounted and mean-payoff games Speaker: Mateusz Skomra (LAAS-CNRS) Invited by: Bruno Loff (LASIGE, DM/FCUL) When: March 04 and 05, 2024, 14:00 Where: FCUL, C6.2.33 Video recording: part 1, part 2 Abstract: Deterministic...
