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: Gradual Typing and Intersection Types Speaker:...
********** Paper #11: Direct Preference Optimization: Your Language Model is Secretly a Reward Model (2023) Rafailov et al. When: 2:30PM, 06/Mar/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! **********...
Title: Structure and Dynamics of Personal Relationship Networks Speaker: Miguel Ángel González Casado (University Carlos III of Madrid and Cross-Disciplinary Complex Systems Group (GISC)) Invited by: Andreia Sofia Teixeira (LASIGE, DI/FCUL) When: March 14, 2024, 14:00...
Title: Accelerating the performance of data driven applications with in-network computing Speaker: Boris Koldehofe (Technical University of Ilmenau) Invited by: Hugo Miranda (LASIGE, DI/FCUL) When: February 22, 2024, 15:00 Where: FCUL, C6.3.27 (Coffee break included)...
Speakers: Allan Espindola (LASIGE, DI/FCUL) and Zygimantas Jasiunas (LASIGE, DI/FCUL) Date: January 09, 2024, 12h00 Where: C6.3.27 Talk 1: Effective but Unrealistic: Addressing NIDS Challenges in the Real World Abstract: Network Intrusion Detection Systems (NIDS) are...
