Gradual Verification: Assuring Software Incrementally
Talk @LASIGE, por Jonathan Aldrich (Carnegie Mellon University).
Talk @LASIGE, por Jonathan Aldrich (Carnegie Mellon University).
Talk @LASIGE, por Bruno Loff (Faculdade de Ciências, Universidade do Porto).
Decorreu de 11 a 15 de julho na Ciências ULisboa a WideHealth Summer School sob o tema “Human Factors in Pervasive Health”. O evento foi organizado pelo LASIGE, tendo acolhido participantes de toda a Europa.
Já são conhecidos os resultados do Concurso de Projetos de I&D em Todos os Domínios Científicos de 2022, da FCT. Do total de projetos aprovados para financiamento, 33 contam com a participação da Ciências ULisboa.
Talk @LASIGE, por Jan Kończak (Poznan University of Technology, PL).
Talk @LASIGE, por Jiangshan Yu (Monash University, AU).
RSS Meetup, por Emanuele D'Osualdo (MPI-SWS).
In the context of the AWESOME Project: Awareness While Experiencing and Surfing On Movies through Emotions.
Talk @LASIGE, por Catarina Gamboa (LASIGE/FCUL and ISR/CMU).
Talk @LASIGE, por Philipp Fleck (Heuristic and Evolutionary Algorithms Laboratory, University of Applied Sciences Upper Austria).