Linkedin
Talks @ DI | João Carvalho

Talks @ DI | João Carvalho

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 meetup: Martin Berger

RSS meetup: Martin Berger

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 meetup: Martin Berger

RSS meetup: Nuno Lopes

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 meetup: Rodrigo Bruno

RSS meetup: Rodrigo Bruno

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...
10th LASIGE WORKSHOP (2025)

10th LASIGE WORKSHOP (2025)

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...
Reading Club in HBI and DSI #23

Reading Club in HBI and DSI #23

********** 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...