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
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
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
