coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Halmstad Summer School on Cyber-Physical Systems 2017

From: Walid Gomaa <walid.gomaa AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Halmstad Summer School on Cyber-Physical Systems 2017
Date: Thu, 23 Feb 2017 19:11:51 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=walid.gomaa AT gmail.com; spf=Pass smtp.mailfrom=walid.gomaa AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f54.google.com
Ironport-phdr: 9a23:3Th4thLydSX7YSLOzNmcpTZWNBhigK39O0sv0rFitYgeK/zxwZ3uMQTl6Ol3ixeRBMOAuq8C0rqd6vi+EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oMRm7rgrdutQKjYZjN6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhyAaOT4k62HXktJ/g75HoByvoBx/xpTbYICTNPFjeq/QctcXSW9HU81MVSJOH5m8YpMRAeQBIOhWrIfzqFUBohSiHgSjHv/jxyVSi3Pq06A30eIsGhzG0gw6GNIOtWzZo9XvO6cWUOC60bTDwzTEb/NTwzjy8pXDfxcvoP6WWbJwcNfexVMgFwPCi1Wfs5bqMiia1uQIqWeb7u5gWfizhG4grgF8uz6izdoihInOg4Ia0FHE9SNhzYkuJN24VFR3YdqkEZdItyGaN5F6Qtg8TGxupS00yaUGtIa5cSUF0pgr2gDTZvydf4WL/B7vTuacLDhgiH54d7+zmwy+/VW8xuD8TMW4zkpGojBYntTMsH0Gygbd5dKdSvRn+0eswTaP2B7X6uFDOU00kLDUK58lwrIpmJsTtFjPEjb4mEj2g6KabEok+u+v6+ToZrXpuIWQOJNzigH7Kqgum8q/DvokMgUWXWWW9v6w2KD98UD5WrlHjeM6nrPZvZ3VPcgbo7S2Aw5R0oYt8Ra/CDKm3cwWnHYdKFJFeQ+Ig5LmO1HJJfD3F+2wjk+jkDdu3f/GP7nhDo/RIXjElbftZax95FJEyAov0dBf4IpZBa0GIPLqQ0P+qNjYDgIiPAGv2ObmCNB91psEVm6VA6+ZNrnSsV6S6e41LemMftxdhDGoIP88ovXqkHURmFkHfKDv04FERmq/G6FZKkGYbTLDhdIIGC9eoQM6TeCsh1qHWDd7aHO7XqZ67TY+XtH1RbzfT5yg1eTSlBywGYdbMzwXBw==

Summer School on Cyber-Physical Systems - Call for Participation

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,

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 München,

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 Törngren, 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

Walid Gomaa

[Coq-Club] Halmstad Summer School on Cyber-Physical Systems 2017, Walid Gomaa, 02/23/2017