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...
Keynote speaker at EAI GOODTECHS 2022

Keynote speaker at EAI GOODTECHS 2022

Tiago Guerreiro will be a keynote speaker at EAI GOODTECHS 2022. The GOODTECHS conference aims to present cutting-edge experiences with the design, implementation, deployment, operation and evaluation of smart objects and technologies for Social Good. The event is in...