Francisco M. Couto, LASIGE’s integrated member, was invited to give a workshop at the VII Semana da Bioengenharia (VII SBE) at Instituto Superior Técnico (IST), held on March, 29, 2022. Our researcher talked about his main research contributions, namely in...
Laura Balbi, Ricardo Carvalho, José Zenóglio de Oliveira, and Filipa Serrano, LASIGE MSc students supervised by LASIGE integrated member Catia Pesquita, presented their work in the 11th edition of the Bioinformatics Open Days, held on March, 3-5, 2022, at University...
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...
