[TYPES/announce] CfPart: DHS 2018

[Uli Fahrenberg]

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

                   CALL FOR PARTICIPATION

                          DHS 2018
              Second International Workshop on
      Methods and Tools for Distributed Hybrid Systems

             Ecole polytechnique, Paris, France
                         4 July 2018

                 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.  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 second 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.

We are calling for presentations of work which can highlight how the
research topics of DHS may interact in order to advance the subject of
distributed hybrid systems. Note that DHS 2018 will have no formal
proceedings.

INVITED TALKS

    Luc Jaulin, ENSTA Bretagne, Brest, France
       Distributed localization and control of underwater robots
    Dmitry Kozlov, University of Bremen, Germany
       (TBA)
    Thao Dang, Verimag, Grenoble, France
       Invariance and stability verification of hybrid systems
    Lisbeth Fajstrup, Aalborg University, Denmark
       Symmetries in the PV-model and of directed invariants
    Emmanuel Ledinot, Dassault Aviation, France
       Towards CPS certification reformation: call for effective foundations
    Eric Goubault, Ecole polytechnique, France
       Inner and outer approximating flowpipes for delay differential equations

IMPORTANT DATES

Submission of short contributions: 10 June 2018 (extended)
Registration: 20 June 2018
Workshop: 4 July


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/20180601/30bc22b5/attachment.asc>