[TYPES/announce] Methods and Tools for Distributed Hybrid Systems (DHS 2017)

[Uli Fahrenberg]

Hi,

please find below a CfP for the DHS workshop associated with MFCS 2017.  DHS
is concerned with analysis and validation of distributed hybrid systems,
thus intersects with the semantics and verification topics of this list.
The purpose of DHS is to connect people working in verification, control,
distributed systems, and concurrency; I suspect that the types list "hits"
many such people and that some of them will already plan to come to MFCS.

Best regards,
Uli Fahrenberg


-------- Forwarded Message --------
Subject: Methods and Tools for Distributed Hybrid Systems (DHS 2017)
Date: Tue, 4 Apr 2017 16:36:12 +0100
From: Uli Fahrenberg <ulrich.fahrenberg at irisa.fr>
To: types-announce at lists.seas.upenn.edu

Apologies for multiple copies of this email; please distribute as you see fit.


                       CALL FOR PAPERS

                          DHS  2017
                  International Workshop on
      Methods and Tools for Distributed Hybrid Systems
                  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 Fränzle, Carl von Ossietzky Universität 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
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/



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170410/217e7f4e/attachment.asc>