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...
The LASIGE Forum IV, organised by the PhD Student Commission, took place today, the 12th of July 2024. It was time to appreciate the enthusiasm of the invited speakers, André Rodrigues, and Andreia Sofia Teixeira, both LASIGE integrated members, and the PhD Student...
The first major proof of concept of the CMU Portugal project “ShiftHRI – Exploring the Transfer of Agency to Older Adults” was published in the International Journal of Social Robotics, which has an impact factor of 5.77 as of 2023 and ranks in the Q1 quartile...
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:...
The paper “Temporal stratification of amyotrophic lateral sclerosis patients using disease progression patterns”, authored by LASIGE’s collaborator Daniela M. Amaral, PhD student Diogo F. Soares, and integrated researchers Sara C. Madeira and Helena Aidos, has been...
