Talk: Regular Types and Their Properties 28 Apr 2026 FC6 0.29 16:00 By João Barbosa Published at: 14 Apr 2026 News Events Lecture Talks@DCC
Identity Landscape 2025 - Decoding the Tectonic Shifts in Identity 12 Nov 2025 FC5 003 11:00 By Natsuhiko Sakimura Published at: 4 Nov 2025 Events Lecture lecture Talks@DCC
How much is in a type? Calculating functional programs from their types using squares 5 Nov 2025 FC6 029 15:00 by José Nuno Oliveira, HASLab-DI-UMinho Published at: 23 Oct 2025 Events Lecture lecture Talks@DCC
Getting Average Values for Complicated Objects Elegantly 17 Jun 2025 FC6 029 14:00 by Rogério Reis, UPorto-DCC & CMUP Published at: 3 Sep 2025 Events Lecture Talks@DCC
Talk: Runtime Assurance of Deep Neural Networks 7 Apr 2025 FC6 029 11:00 by Birk Torpmann-Hagen, UiT: The Arctic University of Tromsø Published at: 1 Apr 2025 Events Lecture Talks@DCC
