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