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: Bootstrapping a Concurrent Compiler Speaker:...
Title: Hardware-Backed Blockchain Speakers: André Cruz, LASIGE – DI/FCUL When: April 7, 14h00 Where: C6.3.27 Abstract: Nowadays, due to the high costs of having their own data centers, most distributed systems use Cloud platforms for execution. However, due to...
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...
