Title: Feature Construction for Multi-Temporal Data in Remote Sensing Speaker: João Batista, LASIGE/DI-FCUL Date: April 7, 12h Where: Room C6.3.27 Abstract: Deforestation has serious implications for biodiversity, for rural communities that are dependent on forests...
Title: Refinement Types Speaker: Niki Vazou (IMDEA Software Institute in Madrid, Spain) When: Friday, April 8, 16h30 Where: FCUL, room 6.3.27 (Coffee break included) Abstract: Refinement types are a type-based, static verification technique designed to be practical....
The EU-funded WideHealth project aims to conduct research on pervasive eHealth and establish a sustainable network of research and dissemination across Europe. Title: A pilot study: Here be dragons! Speaker: Anton Gradišek When: April 5, 2022 – 16:00 CET (3PM in...
Title: Holistic Control for Building Energy Management using Deep Reinforcement Learning Speakers: Nuno Dionísio, LASIGE – DI/FCUL When: March 24, 14h00 Where: C6.3.27 Abstract: Given the need for more efficient energy management while maintaining comfort in...
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: Why is it so hard to verify certain breeds of...
