[TYPES/announce] CFP: 2nd Workshop on Design and Analysis of Robust Systems (DARS), co-located with CAV 2017

Roopsha Samanta roopsha at utexas.edu
Sun Apr 9 20:20:25 EDT 2017


>
> ***********************************************************
> The Second Workshop on Design and Analysis of Robust Systems
>                                      (DARS 2017)
>
>                                     July 22, 2017
>              Co-located with CAV 2017, Heidelberg, Germany
>          Webpage: https://darsworkshop.github.io/dars2017/
> ************************************************************
>
> Important Dates:
> ----------------------
> Extended abstract submission: ***April 28, 2017***
> Author notification: May 25, 2017
> Workshop: July 22, 2017
>
> 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 programs/circuits/systems/networks, approximate computing and
> fault tolerance of distributed systems.
>
> 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=dars2017
>
> Organizers:
> ---------------
> Pavithra Prabhakar, Kansas State University
> Roopsha Samanta, Purdue University
>
> Program Committee:
> ---------------------------
> Swarat Chaudhuri. Rice University
> Georgios Fainekos, Arizona State University
> Barbara Jobstmann, EPFL and Cadence Design Systems
> Necmiye Ozay, University of Michigan
> Pavithra Prabhakar, Kansas State University
> Roopsha Samanta, Purdue University
> Paulo Tabuada, UCLA
> Thomas Wahl, Northeastern University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170409/89bd110c/attachment-0001.html>


More information about the Types-announce mailing list