BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TECoSA - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:TECoSA
X-ORIGINAL-URL:https://www.tecosa.center.kth.se
X-WR-CALDESC:Events for TECoSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260910T150000
DTEND;TZID=Europe/Paris:20260910T160000
DTSTAMP:20260814T072728Z
CREATED:20260814T072706Z
LAST-MODIFIED:20260814T072728Z
UID:8237-1789052400-1789056000@www.tecosa.center.kth.se
SUMMARY:TECoSA seminar - Engineering Nondeterminism: Towards Trustworthy Cyber-Physical Systems   
DESCRIPTION:TECoSA Seminar with Marjan Sirjani\, Mälardalen University and KTH\, will take place on Sept 10. \nZoom-link for the seminar is : https://kth-se.zoom.us/j/66857695267 \n  \nAbstract: Distributed cyber-physical systems such as autonomous vehicles\, industrial controllers\, and collaborative robots must operate correctly despite the uncertainties in the system and environment. In this talk\, I show how we use nondeterminism as the basis for modeling and analyzing uncertainty caused by concurrency\, timing variations\, faults\, attacks\, dynamic environments\, and AI components. I present our work on combining formal verification\, model-based analysis\, and runtime monitoring for assuring trustworthiness of distributed systems. \nWe use the actor-based modeling language Rebeca and its model checking toolset. This lets us capture asynchronous and real-time behavior and analyze safety\, timing\, and fault-tolerance properties. We model uncertainty explicitly\, verify against the specification at design time\, and use the verified model to monitor and shield the system at runtime. I show how this approach uncovered subtle inconsistencies in distributed redundant controller algorithms. In one case\, verification exposed a fault-handling bug in a protocol already believed correct. I also show how our verification approach can guide systematic test design. I then present our work on runtime monitoring\, anomaly detection and shielding\, using a lightweight “Tiny Twin” derived automatically from formally verified models. The talk concludes with reflections on scalability\, abstraction\, and the role of formal methods in building resilient and dependable cyber-physical systems. \nBio: \nMarjan Sirjani is a professor at Mälardalen University\, and an affiliated professor at KTH\, Sweden. Her research focuses on formal methods for software engineering\, particularly modeling and verification of concurrent\, distributed\, timed\, and cyber-physical systems. She is one of the pioneers behind Rebeca\, an actor-based modeling language with formal verification support\, and has contributed extensively to model checking\, compositional verification\, and state-space reduction techniques for actor-based systems (https://rebeca-lang.org/). Her current work addresses safety\, security\, runtime assurance\, and resilience of autonomous and cyber-physical systems. Marjan has served as program committee member and chair for numerous international conferences\, including SEFM\, iFM\, FM\, FMICS\, Coordination\, SAC\, FSEN\, and DATE\, and is an editor of the journal Science of Computer Programming. From June 2026\, she serves as the leader of the research profile Trustworthy Smart Systems (TSS) at Mälardalen University (https://sites.mdu.se/tss).
URL:https://www.tecosa.center.kth.se/event/tecosa-seminar-engineering-nondeterminism-towards-trustworthy-cyber-physical-systems/
CATEGORIES:Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261013T080000
DTEND;TZID=Europe/Paris:20261016T170000
DTSTAMP:20260422T150120Z
CREATED:20260422T150029Z
LAST-MODIFIED:20260422T150120Z
UID:8081-1791878400-1792170000@www.tecosa.center.kth.se
SUMMARY:Call for Papers: Edge Intelligence 2026
DESCRIPTION:The 3rd Workshop on Edge Intelligence (EI 2026) will be co-located with ACM/IEEE SEC 2026 in Santa Clara\, CA\, on October 13–16\, 2026\, with the workshop itself on October 16. James Gross (KTH) serves as Organizing Chair. \nThe workshop welcomes contributions on the latest advances in edge intelligence — including cloud–edge collaboration\, foundation models and Gen AI at the edge\, federated learning\, efficient deep learning on edge devices\, and applications in XR\, cyber-physical systems\, healthcare\, and drone autonomy. \nSubmission deadline: June 25\, 2026 \nFull call for papers: https://acm-ieee-sec.org/2026/interact_EdgeIntelligence.php
URL:https://www.tecosa.center.kth.se/event/call-for-papers-edge-intelligence-2026/
CATEGORIES:Workshops
END:VEVENT
END:VCALENDAR