Palestra: Risk, Dependability, and Diversity - An Overview of Research at the Centre for Software Reliability 9 jul 2026 FC6 0.29 11:00 Por Ilir Gashi Publicado em: 1 jul 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Integrated Sensing and Communications - Private Attribute Inference and Privacy Preservation 2 jul 2026 FC6 0.29 11:00 Por Óscar Martins Publicado em: 29 jun 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Asynchronous Team Automata 26 jun 2026 FC6 0.29 14:00 Por José Proença Publicado em: 15 jun 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems 19 jun 2026 FC6 0.29 14:00 Por Marjan Sirjani Publicado em: 28 mai 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Temporal resource management via graded effects and graded modal types 21 mai 2026 FC6 140 11:00 Por Danel Ahman Publicado em: 13 mai 2026 Notícias Eventos Palestra Talks@DCC
