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