[FOM] Halmstad Summer School on Cyber-Physical Systems 2017

[Walid Gomaa]

Summer School on Cyber-Physical Systems - Call for Participation 
<http://ceres.hh.se/mediawiki/CPS_2017>



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. This year’s school will take place from July 17th-21st, 
2017.


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,

      o

        Modeling & Simulation of large scale Integrated Modular CPS.

  *

    Stanley Bak, Air Force Rome Labs,

      o

        Formal Verification of CPS using Flow-Pipe Construction of
        Hybrid Automata.

  *

    Manfred Broy, TU München,

      o

        Modeling cyber physical systems: Interaction, modularity,
        distribution, probability.

  *

    Luc Jaulin, ENSTA Bretagne,

      o

        Interval analysis for the conception of autonomous and reliable
        cyber-physical systems.

  *

    Ueda Kazunori, Waseda University,

      o

        High-level programming languages and systems for cyber-physical
        systems.

  *

    Andre Platzer, CMU,

      o

        Logical Foundations of Cyber-Physical Systems.

  *

    Jeff Shamma, Georgia Tech and KAUST,

      o

        Game theory for cyber-physical systems.

  *

    Martin Törngren, KTH,

      o

        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



-- 

Walid Gomaa

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170223/2c19a2fe/attachment.html>