13 May Talk: Temporal resource management via graded effects and graded modal types 21 May 2026 FC6 140 11:00 By Danel Ahman Published at: 13 May 2026 News Events Lecture Talks@DCC
14 Apr 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
4 Nov 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
23 Oct 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
3 Sep 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
