The paper “State Machine Replication for the Masses with BFT-SMaRt” was awarded the Test-of-Time Award at the 54th IEEE/IFIP International Conference on Dependable Systems and Networks, held in Brisbane, Australia, in June 2024. Alysson Bessani was there to receive...
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:...
