[Om-announce] Workshop on Verification and Validation of Cyber-Physical Systems -- deadline extension

[Sadegh Soudjani]

Call For Submissions
--------------------------------------------------------------------
1st International Workshop on
Verification and Validation of Cyber-Physical Systems
co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland
http://www.cs.ox.ac.uk/conferences/VVCPS16/
--------------------------------------------------------------------

Workshop on Verification and Validation of Cyber-Physical Systems is
targeted at methods related to different aspects of cyber-physical systems
with an emphasis on non-functional properties initiated from the physical
world. A cyber-physical system (CPS) is an integration of networked
computational and physical processes with meaningful inter-effects; the
former monitors, controls, and affects the latter, while the latter also
impacts the former.

CPSs have applications in a wide-range of systems spanning robotics,
transportation, communication, infrastructure, energy, and manufacturing.
Many safety-critical systems such as chemical processes, medical devices,
aircraft flight control, and automotive systems, are indeed CPS. The
advanced capabilities of CPS require complex software and synthesis
algorithms, which are hard to verify. In fact, many problems in this area
are undecidable. Thus, a major step is to find particular abstractions of
such systems which might be algorithmically verifiable regarding specific
properties of such systems, describing the partial/overall behaviors of
CPSs.

The ultimate goal is to bring together researchers and experts of the
fields of formal verification and CPS to cover the theme of this workshop,
namely a wide spectrum of verification and validation methods including
(but not limited to) control, simulation, formal methods, etc.


Topics of Interest:

We welcome extended abstracts and paper submissions for presentation on
topics relating to verification and validation of cyber-physical systems as
described above. Typical, but not exclusive, topics include:

  -- Abstractions of CPS for formal verification
  -- Formal modelling and verification of hybrid systems
  -- Resource management and processor scheduling
  -- Power/Energy/Temperature-Aware  modelling and verification of CPS
  -- Approaches towards non-classical formal control methods in CPSs
  -- Fault tolerance in CPSs
  -- Fault-injection and test of CPSs
  -- Resiliency in CPSs
  -- Dependability of CPSs
  -- Hardware/Software co-design in CPSs
  -- CPS and natural models of computation (such as quantum and biological)
  -- Semantics of CPSs


Submission Guidelines:

Authors are invited to submit their papers in EPTCS proceedings format.
Full papers should not exceed 15 pages. Short papers should not exceed 8
pages. All contributions will be evaluated by at least three reviewers,
chosen by the Program Committee. All accepted papers will be included in
the workshop proceedings, which will be published as a volume of the EPTCS
series. Papers should be submitted via Easychair at:
https://easychair.org/conferences/?conf=v2cps16

Important Dates:

  *Extended submission deadline:  March 2, 2016*
*  Notification of acceptance:       April 15, 2016*
*  Camera ready version:            April 30, 2016*
*  Conference iFM 2016:             June 1-4, 2016*
*  Workshop V2CPS 2016:          June 4-5, 2016 *

Invited Speakers:

  -- Alessandro Abate (University of Oxford, UK)
  -- Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)
  -- Jyotirmoy Deshmukh (Toyota Technical Center, USA)
  -- Georgios Fainekos (Arizona State University, USA)
  -- Sriram Sankaranarayanan (University of Colorado, Boulder, USA)


Program Committee:

  -- Enrico Bini, Scuola Superiore Sant'Anna, IT
  -- Muffy Calder, University of Glasgow, UK
  -- Ali Ebnenasir, Michigan Technological University, USA
  -- Mohammad Reza Mousavi, Halmstad University, SE
  -- Ali Movaghar, Sharif University of Technology, IR
  -- Hessam Sarjoughian, Arizona State University, USA
  -- Krishna Shankarnarayanan, IIT Bombay, IN
  -- Joseph Sifakis, EPFL and CNRS, FR
  -- Oleg Sokolsky, University of Pennsylvania, USA
  -- Sadegh Soudjani, University of Oxford, UK
  -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE
  -- Ufuk Topcu, University of Texas at Austin, USA
   -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental
Sciences (IPM), IR


Organizing Committee:
  -- Sadegh Soudjani, University of Oxford, UK
  -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair)
  -- Mehdi Kargahi, University of Tehran, IR (PC chair)
  -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental
Sciences (IPM), IR


Please consult the webpage of the workshop for more information and the
updated list of PC
http://www.cs.ox.ac.uk/conferences/VVCPS16/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20160214/10bcd23e/attachment.html>