Linkedin
LASIGE evaluated as Excellent by FCT

LASIGE evaluated as Excellent by FCT

LASIGE has received the highest rating of “Excellent” in the latest national evaluation conducted by the FCT (Portuguese Foundation for Science and Technology). This rating reflects the outstanding quality and impact of the unit’s work during the evaluation period...
Poster Design Workshop

Poster Design Workshop

POSTER DESIGN WORKSHOP Venue: Room 6.3.27 Time: 14h00 – 16h00 Date: April 15th, 2025, Tuesday Speaker: David Gonçalves (LASIGE) Organized by: LASIGE PhD Student Commission This will be a practical, hands-on workshop, where we’ll work together on a poster,...
Reading Club in HBI and DSI #24

Reading Club in HBI and DSI #24

********** Into the Unknown Unknowns: Engaged Human Learning through Participation in Language Model Agent Conversations (2024) Jiang et al. When: 13:30PM, 10/Apr/2025 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a...
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...