2020 Swedish Summer School on Cyber-Physical Systems
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.