Call for Participation: Summer School on Cyber-Physical Systems, CPS 2017

CALL FOR PARTICIPATION

Summer School on Cyber-Physical Systems, CPS 2017

June 17-21, 2017 - Halmstad University, Sweden

The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches.

The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between participants and the speakers.

Topics and Speakers

• Henric Andersson, SAAB Group, Modeling & Simulation of large scale Integrated Modular CPS.
• Stanley Bak, Air Force Rome Labs, Formal Verification of CPS using Flow-Pipe Construction of Hybrid Automata.
• Manfred Broy, TU Munchen, Modeling cyber physical systems: Interaction, modularity, distribution, probability.
• Luc Jaulin, ENSTA Bretagne, Interval analysis for the conception of autonomous and reliable cyber-physical systems.
• Ueda Kazunori, Waseda University, High-level programming languages and systems for cyber-physical systems.
• Andre Platzer, CMU, Logical Foundations of Cyber-Physical Systems.
• Jeff Shamma, Georgia Tech and KAUST, Game theory for cyber-physical systems.
• Martin Torngren, KTH, Cyber-Physical Systems - perspectives, innovation opportunities and key cross-domain challenges.

All lectures will be conducted in English.

Venue

The summer school will take place at Halmstad University in Hav, a meeting room with an overview of the city and the Kattegat sea area. Halmstad is easily reachable by train from Copenhagen and Gothenburg airports, and by air from Stockholm.

Application for Registration

Registration can be done online at http://bit.ly/cps-reg. The deadline for early registration is May 1st, 2017.

For more information: http://ceres.hh.se/mediawiki/CPS_2017