[TYPES/announce] Last CFP: 6th Workshop on Cyber Physical Systems (Deadline: July 10)

[M.R. Mousavi]

===========================================

The 6th International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)

Pittsburgh, USA

October 6, 2016

http://www.cyphy.org/

(Held in conjunction with ESWEEK 2016)

===========================================


Scope
=======

Cyber physical systems (CPSs) combine computing and networking power with
physical components. They enable innovation in a wide range of domains
including robotics; smart homes, vehicles, and buildings; medical implants;
and future-generation sensor networks. CyPhy'16 brings together researchers
and practitioners working on modeling, simulation, and evaluation of CPS,
based on a broad interpretation of these areas, to collect and exchange
expertise from a diverse set of disciplines. The workshop places particular
focus on techniques and components to enable and support virtual
prototyping and testing.

Topics of interest include, but are not limited to the following aspects of
cyber-physical systems:

Foundations: models of computation, modeling and simulation languages for
hybrid and cyber-­physical systems, including hybrid automata and hybrid
process theory, as well as other integrations of control-­theoretic and
discrete-­event models;

Methods: Specifications and evaluation of processes for rigorous modeling,
testing, simulation, and verification of new cyber-­physical systems;

Case studies: Development of industrial or research ­oriented
cyber­-physical systems in domains such as robotics, smart systems (homes,
vehicles, buildings), medical and healthcare devices, future generation
networks; and

Tools: Evaluation of novel research tools, comparisons of state of the art
tools in industrial practice.

Submission Types
================

Submissions types:

1) research papers (max. 15 pages);
2) positions papers (max. 4 pages, not published); and
3) industrial experience and tool demonstrations (max. 10 pages).


Research papers will be judged for technical novelty and scientific merit.
Any previous publication in any form must be explicitly identified and
cited on the first page of the submission. Papers in all other categories
will be judged on novelty, clarity, accessibility, and suitability for a
high quality presentation and discussion at the workshop.

Submissions of type 1 and 3 will be published after the workshop in a
volume of Lecture Notes in Computer Science, by Springer.
If the quality of the submissions warrants, a special issue of an archival
journal will be negotiated for the best submissions (subject to
confirmation, and an additional round of review).


Important Dates
================

Submission deadline:  July 10, 2016

Notifications:  August 24, 2016

Camera Ready:  September 5, 2016

Workshop:  October 6, 2016


Submission Instructions
======================

Papers should be formatted according to the Springer LNCS style, not exceed
the respective page limits (including figures and references), and be
submitted in PDF format through the following submission website.

https://easychair.org/conferences/?conf=cyphy2016


Except for regular research papers, the paper category must be indicated at
the end of the title in parenthesis at the time of the initial submission
and in the final camera ready version.

Simultaneous submission to other venues with a formal publication
(workshops, conferences, symposia, and journals) is not allowed. Duplicated
submissions or other types of plagiarism will result in rejection and a
report will be sent to the corresponding institution's dean or manager.

Papers not adhering to the format or page limit may be rejected without a
review.



Committees
============

Program Committee

Christian Berger, Chalmers and University of Gothenburg, Sweden (Co­Chair)
Manuela Bujorianu, University of Leicester, UK
Thao Dang, Verimag, France
Scott Hissam, Carnegie Mellon University, USA
Daisuke Ishii, Tokyo Institute of Technology, Japan
Mehdi Kargahi, University of Tehran, Iran
Zhiyun Lin, Zhejiang University, China
Mohammad Reza Mousavi, Halmstad University, Sweden (Co­Chair)
Enrico Pagello, University of Padua, Italy
Mihaly Petreczky, CNRS Lille, France
Michel Reniers, TU Eindhoven, Netherlands
Bernhard Rumpe, RWTH Aachen University, Germany
Maytham Safar, Kuwait University, Kuwait
Christoph Seidl, TU Braunschweig, Germany
Christoffer Sloth, Aalborg U., Denmark
Jonathan Sprinkle, University of Arizona, USA
Martin Steffen, University of Oslo, Norway
Frits Vaandrager, RU Nijmegen, Netherlands
Rafael Wisniewski, Aalborg U., Denmark (Co­Chair)

Advisory Committee

Manfred Broy, Technische Universität München, Germany.
Karl Iagnemma, MIT, USA.
Karl Henrik Johansson, Royal Institute of Technology, Sweden.
Insup Lee, University of Pennsylvania, USA.
Pieter Mosterman, McGill University, Canada
Janos Sztipanovits, Vanderbilt University, USA
Walid Taha, Halmstad  University & University of Houston (General Chair)

***************************************************************************
Mohammad Reza Mousavi

Centre for Research on Embedded Systems (CERES)
Halmstad University,
Halmstad, Sweden

Phone: 0046-(0)35 16 71 22
Fax:     0046-(0)35 16 03 48
Email:  m.r.mousavi at hh.se
http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi
************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160705/64f0d81c/attachment-0001.html>