Past events
27th Forum on specification and Design Languages (FDL) 4-6 September
September 4, 2024 – September 6, 2024
Recorded presentation
Artificial Intelligence of Things (AIoT): Bringing Intelligence into the Physical World
August 29, 2024
Distinguished Lecture: Prof. Li Qiu – Hong Kong University of Science and Technology
August 28, 2024
Learning Formal Mathematics From Intrinsic Motivation
August 27, 2024
Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus OR Zoom
Digital Futures Summer Research Internship Programme (SRI) – Project presentations
August 27, 2024
Digital Futures Summer Research Internship Programme (SRI) – Workshop & Poster sessions
July 4, 2024 – July 4, 2023
Learning in Networks: Structure, Dynamics and Control 2024
June 29, 2024 – July 5, 2024
Communication-Aware Distributed Computation in Networked Autonomous Systems
June 27, 2024
IEEE Workshop on High-Power Electronics for Decarbonizing Energy Grids
June 19, 2024 – June 20, 2024
Practical Applications of Formal Methods to Next-generation Automotive Systems
June 14, 2024
