********** Paper #14: Self-Interpretable Graph Learning with Sufficient and Necessary Explanations (2024) Deng and Shen When: 3PM, 18/Jul/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the...
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: Subtyping Context-Free Session Types Speaker: Gil...
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,...