Linkedin
Talks @ LASIGE: Niki Vazou

Talks @ LASIGE: Niki Vazou

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....
8th WideHealth Seminar: Anton Gradišek

8th WideHealth Seminar: Anton Gradišek

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...
CPS and RDNS meetup: Nuno Dionísio

CPS and RDNS meetup: Nuno Dionísio

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 Meetup: Raul Barbosa

RSS Meetup: Raul Barbosa

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...
CPS and RDNS meetup: Miracle Aniakor

CPS and RDNS meetup: Miracle Aniakor

Speakers: Miracle Aniakor, LASIGE – DI/FCUL When: March 10th, 14h00 Where: Room C6.3.27 Talk 1: Context-Aware Predictive Framework for Building Energy Self-Assessment and Optimization Abstract: It is prevalent that buildings are one of the fastest growing...