Visible to the public 2020 Swedish Summer School on Cyber-Physical SystemsConflict Detection Enabled

No replies
Walid Taha
Walid's picture
Established Community Member
Joined: Feb 16 2012

Dear friends,

It is my pleasure to announce to you the speakers for the next edition of the Swedish Summer School:

Kim Guldstrand Larsen, Aalburg University: Safe and Optimal Cyber-Physical Systems

Erik Herzog, Saab: Industrial challenges in CPS development and operation

Marta Kwiatkowska, University of Oxford: Safety and Robustness for Deep Learning with Provable Guarantees

Wojciech Mostowski, Halmstad University: Low-level validation of code in cyber-physical systems

Mattias Nyberg, Scania: Theory of safety-critical systems engineering

Monica Ringvik, AstaZero: Verification of active safety and autonomous vehicles

Kristin Yvonne Rozier, Iowa State University: Linear Temporal Logic Symbolic Model Checking

Walid Taha, Halmstad University: Modeling Cyber Physical systems

Johan Thunberg, Halmstad University: Dynamical systems meet communication: a safety analysis

Martin Torngren, KTH: Challenges and opportunities in an era of smart CPS-perspectives and reflections on a socio-technical shift

The summer school will take place June 8-12, 2020. As usual, space is limited to 30 attendees. Registration is open and instructions are available online at:

Looking forward to see you in Halmstad this summer!

Kind regards,

Walid Taha, Martin Torngren, and Stella Erlandsson.