[TYPES/announce] CyPhy'19 Call for Papers

Sat May 18 07:57:24 EDT 2019

Model-Based Design of Cyber-Physical Systems <https://www.cyphy.org/>
(CyPhy'19) is
the ninth instance of a workshop that takes a broad interpretation of the
area and aims to facilitate the timely consolidation and sharing of new
knowledge from diverse disciplines. Cyber-physical systems (CPSs) combine
computing and networking power with physical components. They are a
challenging domain for innovation that encompasses robotics; smart homes,
buildings, and mobility solutions; medical implants; drones, and numerous
others. CPSs are the medium through which next-generation Artificial
Intelligence and Machine Learning applications will be deployed, and are a
growing source of big data. CyPhy'19 brings together researchers and
practitioners working on next-generation technologies for modeling,
development, analysis, simulation, optimization, evaluation, and deployment
of CPSs.

CyPhy'19 will be held as part of ESWeek <https://www.esweek.org/> in NYC,
NY. The conference will take place at the Kimmel Center for University Life.

This year, Professor Edward A. Lee (UC Berkeley) will give the invited talk.

Important Dates:
Abstract submission   June 8th, 2019
Paper deadline   June 15th, 2019
Notifications   July 15th, 2019
Camera-ready   August 15th, 2019
Workshop   October 17-18th, 2019

Topics of interest include, but are not limited to the following aspects of
cyber-physical systems:
* Case studies and applications: Experience and case studies in the
development of industrial and/or research-oriented cyber-physical systems
in domains such as smart mobility, health innovation, medical and
healthcare devices, smart homes, emerging communication and networking
technologies (for example 5G and 6G), Internet-of-Things,
* Methods: Systematic, rigorous, and set-based methods for modeling,
implementation, simulation, optimization, manufacturing, testing, and
verification of cyber-physical systems; model-based engineering, systems
engineering; the use of formal verification and reachability analysis
tools; counterexample-guided abstraction refinement (CEGAR), safe/verified
Artificial Intelligence and Machine Learning (AI/ML),
* Tools: New tool technologies, evaluations of novel research tools,
extensive case studies and industrial experiences, comparisons of state of
the art tools in realistic contexts, and
* Foundations: Domain specific languages (DSLs) including hybrid automata,
hybrid process calculi, and differential games; models of computation;
multi-domain modeling languages; correctness of implementations, interval
computation and validated numerical methods; experimental model validation.

Submissions types: Three types of papers will be solicited and evaluated:
1) research papers, 2) advanced tutorials, and 3) tool demonstrations.
Papers are expected to be around 15-25 pages long in LNCS format.

* Research papers will be evaluated according to the traditional standards
of novelty, technical contribution, clarity, and overall quality of
presentation. Such papers may contain theoretical results, experimental
results, or cases studies that go beyond the scope of what prior art has
been able to address. Research papers may also address open problems. Such
papers will be evaluated based on the extent to which these problems were
not articulated previously and the extent to which they are clear and
actionable. Research papers may also be surveys. Such papers will be
evaluated based on their timeliness, the absence of comparable surveys, how
comprehensive they are, and the extent to which they organize existing
information in a useful manner.
* Advanced tutorials will be evaluated based on the extent to which they
make it clear that there is a need for expository material on this subject,
that there is currently a shortage of such material, the technical depth of
the material covered, and the accessibility and overall quality of the
presentation.
* Tool demonstrations will be evaluated based on the timeliness of the
presentation of the tool, the extent to which the tool can address problems
that are currently much more difficult or impossible by existing tools, and
the accessibility and overall quality of the presentation.

Proceedings: As with previous years, the proceedings are expected to be
published in the Springer Verlag Lecture Notes in Computer Science (LNCS)
series. To maximize the benefit from the workshop, authors will be asked to
first prepare a camera-ready copy of accepted papers before the meeting,
and to submit a revised version that takes into account workshop feedback
after the meeting.

Program Committee (Confirmed)
Julien Alexandre dit Sandretto, ENSTA ParisTech
Houssam Abbas, Oregon State University
Henric Andersson, Environment & Innovation
Erika Abraham, RWTH Aachen University
Ayman Aljarbouh, Grenoble Alpes
Matthias Althoff, TU Munich
Stanley Bak, Safe Sky Analytics
Sergiy Bogomolov, Australian National University
Mirko Bordignon, Fraunhofer Institute
Manfred Broy, TU München
Manuela Bujorianu, University of Strathclyde
Roger Chamberlain, Washington University in St. Louis
Rayna Dimitrova, Leicester
Thao Dang, Verimag
Adam Duracz, Rice University
Sinem Coleri Ergen, Koc University
Alex Dean, North Carolina State University
Xinyu Feng, USTC
Martin Fränzle, University of Oldenburg
Goran Frehse, Université Grenoble Alpes
Laurent Fribourg, CNRS
Ichiro Hasuo, University of Tokyo
Daisuke Ishii, Tokyo Institute of Technology
Taylor T. Johnson, Vanderbilt University
Mehdi Kargahi, University of Tehran
Ueda Kazunori, Waseda University
Nacim Meslem, Grenoble INP
Stefan Mitsch, CMU
Eugenio Moggi, Università degli studi di Genova
Wojciech Mostowski, Halmstad University
Andreas Naderlinger, University of Salzburg
Marc Pouzet, ENS
Mohammad Reza Mousavi, Leicester University
Maria Prandini, Politecnico di Milano
Andreas Rauh, University of Rostock
Michel Reniers, Eindhoven University of Technology
Jan Oliver Ringert, Leicester
Bernhard Rumpe, RWTH University Aachen
Ashraf Salem, Ain Shams University
Abdelhamid Taha, Al Faisal University
Martin Törngren, KTH
Zain Ul-Abdin, HEC Pakistan
Rafael Wisniewski, Aalborg University
Andreas Wortmann, RWTH Aachen University
Sebastian Wrede, Bielefeld University
Yingfu Zeng, Rice University
Mikal Ziane, Lip6, Laboratoire d'Informatique de Paris

Program Chair
Walid Taha, Halmstad University

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 University

Paper Submission: Papers should be submitted electronically via the
*EasyChair* <https://easychair.org/my/conference?conf=cw19> web site.

Papers should be formatted according to the Springer LNCS Style
<https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>, not exceed
the respective page limits (including figures and references), and be
submitted in PDF.

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190518/ef9735cb/attachment-0001.html>