[TYPES/announce] Call for Papers: 3rd workshop on Design and Analysis of Robust Systems

[Thomas FERRERE]

*******************************************************************************
           Third Workshop on Design and Analysis of Robust Systems
                                 (DARS 2018)

                               April 10, 2018

                 Co-located with CPS Week 2018, Porto, Portugal
                Webpage: https://darsworkshop.github.io/dars2018/

*******************************************************************************


Important Dates:
----------------

     Extended abstract submission: February 5, 2018
     Author notification: February 26, 2018
     Workshop: April 10, 2018


Scope:
------

Robustness refers to the ability of a system to behave reliably in the 
presence
of perturbation in the system parameters or irregularities in the system's
operating environment. This is particularly important in the context of
embedded and cyber-physical systems and software, which interact with a
physical environment through sensors and actuators and communicate over 
wired
or wireless networks. Such systems are routinely subject to deviations 
arising
from sensor or actuation noise, quantization and sampling of data, 
uncertainty
in the physical environment, and delays or packet drops over unreliable 
network
channels. When deployed in safety critical applications, system 
robustness in
the presence of uncertainty is not just desirable, but crucial.

Our aim is to foster dialogue and exchange of ideas and techniques across
several disciplines with an interest in robustness such as formal 
verification,
programming languages, fault tolerance, control theory, and hybrid systems.

Domains of interest include, but are not limited to: reactive, timed, 
hybrid or
probabilistic systems and programs, approximate computing, fault 
tolerance of
distributed systems, and robustness of neural networks.


Call for submission:
--------------------

We solicit extended abstracts of no more than 3 pages (including 
references)
that provide an overview of recently published work of the authors or 
work in
progress. We expect that the extended abstracts will focus on providing
intuitions (main results and their implications), rather than technical 
details
(formal definitions). The extended abstracts along with a one paragraph
abstract (for announcement on the webpage, if accepted) can be uploaded to
Easychair using the following link:
     https://easychair.org/conferences/?conf=dars2018


Program Committee:
------------------
     Houssam Abbas, University of Pennsylvania
     Stanley Bak, Air Force Research Lab
     Ezio Bartocci, Vienna University of Technology
     Xin Chen, University of Colorado Boulder
     Jyotirmoy Deshmukh, University of Southern California
     Thomas Ferrère, IST Austria
     Sicun Gao, University of California, San Diego
     Miriam García Soto, IMDEA Software Institute
     Antoine Girard, Laboratoire des Signaux et Systèmes, CNRS
     Ariful Islam, Carnegie Mellon University
     Soonho Kong, Toyota Research Institute
     Dejan Nickovic, Austrian Institute of Technology AIT
     Jan Otop, University of Wroclaw
     Ivan Papusha, University of Texas at Austin
     Paulo Tabuada, University of California, Los Angeles
     Paolo Zuliani, Newcastle University

Program Chairs:
---------------
     Thomas Ferrère, IST Austria
     Sicun Gao, University of California San Diego

Steering Committee:
-------------------
     Pavithra Prabhakar, Kansas State University
     Roopsha Samanta, Purdue University