Title: AI, Computer Vision, and Forecasting for Drone Intelligence Speaker: João Pedro Carvalho (LASIGE, FCUL) Date: March 26, 2025, 14h00 Where: Ciências ULisboa, 6.3.27 Abstract: This presentation will showcase my main contributions in the areas of image processing,...
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: Towards GPU-accelerated automated reasoning...
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...