[TYPES/announce] International Workshop on Cyber Physical Systems: Extended Deadline (June 17)

M.R. Mousavi m.r.mousavi at hh.se
Thu Jun 11 03:02:05 EDT 2015


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

The Fifth International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)

Amsterdam, The Netherlands

http://www.cyphy.org/

Extended Deadline: June 17, 2015 (Anywhere on Earth)

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


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'15 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.


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

Submissions: June 17, 2015 (Anywhere on Earth)

Notifications: July 10, 2015

Camera-Ready: August 3, 2015

Workshop: October 8, 2015


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

Submissions types:
1) research papers (max. 15 pages, LNCS format);
2) positions papers (max. 4 pages, not published); and
3) tool demonstrations (max. 10 pages, LNCS format).


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.

Proceedings
===========

Submissions of type 1 and 3 will be published 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).


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=cyphy15


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.

Invited Speaker
=============

Maurice Heemels, Eindhoven University of Technology

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

General Chair

Walid Taha, Halmstad & Rice Universities

Program Chairs

Christian Berger, Chalmers and University of Gothenburg
Mohammad Reza Mousavi, Halmstad University

Program Committee

Jakob Axelsson, SICS and Mälardalen University
Christian Berger, Chalmers and University of Gothenburg
Manuela Bujorianu, University of Warwick
Georgios Fainekos, Arizona State University
Daisuke Ishii, Tokyo Institute of Technology
Zhiyun Lin, Zhejiang University
Mohammad Reza Mousavi, Halmstad University
Wojciech Mostowski, Halmstad University
Michel Reniers, Eindhoven University of Technology
Bernhard Rumpe, RWTH Aachen University
Maytham Safar, Kuwait University
Bernhard Schätz, TU München
Martin Steffen, Oslo University
Frits Vaandrager, Radboud University Nijmegen

Publicity Chair

Abd-Elhamid M. Taha, Alfaisal University

Advisory Committee

Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University
Walid Taha, Halmstad & Rice Universities
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150611/8806afa4/attachment.html>


More information about the Types-announce mailing list