Deadline Extension: International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017)

CALL FOR PAPERS - Deadline Extension June 20, 2017

International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017)

Associated with MFCS 2017

Aalborg University, Denmark | 25-26 August 2017 | http://dhs.gforge.inria.fr/

The purpose of DHS is to connect researchers working in real-time and hybrid systems, control theory, distributed computing, and concurrency, in order to advance the subject of distributed hybrid systems.

Distributed hybrid systems, or distributed cyber-physical systems, are abundant. Many of them are safety-critical, but ensuring their correct functioning is very difficult. We believe that new techniques are needed for the analysis and validation of DHS. More precisely, we believe that convergence and interaction of methods and tools from different areas of computer science, engineering, and mathematics is needed in order to advance the subject.

This first edition of the DHS workshop aims at gathering researchers which work in the above areas in order to facilitate collaboration and discuss how the subject may advance.

INVITED SPEAKERS

Martin Franzle, Carl von Ossietzky Universitat Oldenburg, Germany Kim G. Larsen, Aalborg Universitet, Denmark Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico Martin Raussen, Aalborg Universitet, Denmark Rafael Wisniewski, Aalborg Universitet, Denmark

IMPORTANT DATES

Paper submission: 15 June 2017 20 June 2017
Notification: 15 July 2017
Final version: 31 July 2017
Workshop: 25 August (afternoon) - 26 August (evening)


For more information, see: http://dhs.gforge.inria.fr/