Talk: Asynchronous Team Automata 26 Jun 2026 FC6 0.29 14:00 By José Proença Published at: 16 Jun 2026 News Events Lecture Talks@DCC
Talk: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems 19 Jun 2026 FC6 0.29 14:00 By Marjan Sirjani Published at: 28 May 2026 News Events Lecture Talks@DCC
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
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
