28 mai 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
13 mai 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
14 abr Palestra: Tipos Regulares e as suas Propriedades 28 abr 2026 FC6 0.29 16:00 Por João Barbosa Publicado em: 14 abr 2026 Notícias Eventos Palestra Talks@DCC
4 nov Palestra: Identity Landscape 2025 - Decoding the Tectonic Shifts in Identity 12 nov 2025 FC5 003 11:00 por Natsuhiko Sakimura Publicado em: 4 nov 2025 Eventos Palestra palestra Talks@DCC
23 out Palestra: How much is in a type? Calculating functional programs from their types using squares 5 nov 2025 FC6 029 15:00 por José Nuno Oliveira, HASLab-DI-UMinho Publicado em: 23 out 2025 Eventos Palestra palestra Talks@DCC
