[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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 <[email protected]> To: [email protected] 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/
signature.asc
Description: OpenPGP digital signature
