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
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
Palestra: Obtenção de valores médios para objectos complicados de forma elegante 17 jun 2025 FC6 029 14:00 por Rogério Reis, UPorto-DCC & CMUP Publicado em: 10 jun 2025 Eventos Palestra palestra Talks@DCC
Palestra: Runtime Assurance of Deep Neural Networks 7 abr 2025 FC6 029 11:00 by Birk Torpmann-Hagen, UiT: The Arctic University of Tromsø Publicado em: 1 abr 2025 Eventos Palestra Talks@DCC
