October 17-18, 2019, NYU Center for Cyber-Security, NYC, NY. Held in conjunction with ESWEEK 2019.

Sunday, February 9, 2020

2020 Summer School on Cyber-Physical Systems

Dear colleagues,

It is our pleasure to share with you the speakers for the next edition of the Swedish Summer School on Cyber-Physical:

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 T├Ârngren, 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 T├Ârngren, and Stella Erlandsson.