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: A Decade Verifying LLVM, or How to Retrofit...
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: Language Runtimes for Scalable, Elastic, and...
Date: May 21, 2025, 14:30h Where: FCUL, C6.1.36 Agenda: 14:30 Registration 14:45 Welcome to LASIGE 15:00 Keynote Talk by André Rodrigues 15:40 Poster Session and Coffee Break 17:00 Keynote Talk by Francisco Couto 17:40 Awards Ceremony 18:40 Team Building 20:30 Dinner...
********** Knowledge Graph Structure as Prompt: Improving Small Language Models Capabilities for Knowledge-based Causal Discovery (2024) Susanti et al. When: 13:30PM, 27/Mar/2025 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared...
LASIGE Talks are fortnightly/monthly events to publicize recently distinguished publications or ongoing cutting-edge work by researchers from the research centre, consolidating the scientific culture of the LASIGE community. Speakers: Eduardo Castanho (LASIGE) and...