From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 1D2F95D4 for ; Thu, 11 Apr 2019 02:04:25 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,335,1549926000"; d="scan'208,217";a="378105823" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Apr 2019 04:04:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EA5D582685; Thu, 11 Apr 2019 04:04:24 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AB91E8249D for ; Thu, 11 Apr 2019 04:04:20 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=umair.hvg@gmail.com; spf=Pass smtp.mailfrom=umair.hvg@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f181.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ACdNhBRXW52sfRID/jYWD0H61onbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBCGt8tkgFKBZ4jH8fUM07OQ7/m5HzVQqsrf+DBaKdoQDkdD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrssxhfTv3dFeO?= =?us-ascii?q?tayGxpKFmOmxrw+tq88IRs/ihNp/4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfD?= =?us-ascii?q?VwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0ki?= =?us-ascii?q?cHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8FeVzFHAoyh?= =?us-ascii?q?bosPFPYOPeJfr4nmuVQBsAa1CQ2jCe/zzzNFgGL9068n3OQ7CQzJ0wwuEdwNvn?= =?us-ascii?q?rJsNr4KbwfXvqpwKTS1zjPc+9a1DX75YPVch4hu/aMXbdofMXfzEkgDQLFjk+N?= =?us-ascii?q?ooL4PjOay/kCs2mC7+p9S+2klmkqqxx0oje1x8cskJPFhoILylDL7ih5z4M1Ks?= =?us-ascii?q?e5SE5/e9KrDJxQtySDOoZwX8gsTWZouCMgxb0Hv562ZDQFyJU7yB7acvCIb4+I?= =?us-ascii?q?4hTtVOmPOzd3mnRld66hiBqo9kig0OL8W8+p21hJtipIisfAumwJ2hDJ6cWKSu?= =?us-ascii?q?Fx8lqg1DqTzQzf9+JJLV0ymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo?= =?us-ascii?q?6uDnbqz/pp+AKoN4kw/+Prktl8CiG+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6?= =?us-ascii?q?nZto7VJdgDq6KnHwNY1pwv5hW/Aju8zdgVnGULIEhYdB+EkoTlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM738B5XCNHnDkK37cbZ99U5cxxE+zd9a551OC7EBJOj/VVP2tN?= =?us-ascii?q?zdFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25n9ENEHwBug0lQeCvklCJUCZSanCuRP?= =?us-ascii?q?BvtR8hD4fzMILKR5rlu72N0CaiA5AeMn1DA1GWV3f2eK2LXv4NbGSZJco3wW9M?= =?us-ascii?q?bqSoV4J0jULmjwT90bcycrKNq38o8Kn73d0w3NX90BQ79Dh6FcOYijjfQGR9n2?= =?us-ascii?q?dOTDgzjvkm/B5Nj2yb2K09uMR2UNxe4/QTDFU/PJ/YivVmUpX8A1KYONiOT1mi?= =?us-ascii?q?T5OtBjRjFottke9LWF50HpCZtj6GxzCjWuZHmLmCBZhy+aXZjSD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D2CgBSn65chrWgVdFLGoN5BXkZUDMnh?= =?us-ascii?q?A6BHUKBazGPOIsfgSqLBoMYgWcQBR6BVIE+gTeFbRoHAQQ0EgEBAwEBCQECAQE?= =?us-ascii?q?BARMBAQEICwsIGw4jCwGCOgwagmIsBh0BGwoCEgMSAw03AiQBEQEFASgBZ4F8S?= =?us-ascii?q?wGBXAEDFQ81j2KMbYMfPIsdgRIFAReCegWBMgGDBgoZJw1fgTgCAQUSgR6LR4I?= =?us-ascii?q?WgRABgmSBcIFdBBiBCxUBCkmCXRSCQwOlKGIHAoJTkTQabYRnjxCJAJZtDyGBR?= =?us-ascii?q?YF3TSOBAW0KgUSBZjAMAgmDTIUUhVsmMAGOHgEBJAeCIQEB?= X-IPAS-Result: =?us-ascii?q?A0D2CgBSn65chrWgVdFLGoN5BXkZUDMnhA6BHUKBazGPOIs?= =?us-ascii?q?fgSqLBoMYgWcQBR6BVIE+gTeFbRoHAQQ0EgEBAwEBCQECAQEBARMBAQEICwsIG?= =?us-ascii?q?w4jCwGCOgwagmIsBh0BGwoCEgMSAw03AiQBEQEFASgBZ4F8SwGBXAEDFQ81j2K?= =?us-ascii?q?MbYMfPIsdgRIFAReCegWBMgGDBgoZJw1fgTgCAQUSgR6LR4IWgRABgmSBcIFdB?= =?us-ascii?q?BiBCxUBCkmCXRSCQwOlKGIHAoJTkTQabYRnjxCJAJZtDyGBRYF3TSOBAW0KgUS?= =?us-ascii?q?BZjAMAgmDTIUUhVsmMAGOHgEBJAeCIQEB?= X-IronPort-AV: E=Sophos;i="5.60,335,1549926000"; d="scan'208,217";a="378105817" X-MGA-submission: =?us-ascii?q?MDGVPvzoh0sApIcQ+pLhfdqDPmX7Nc9MqstmdH?= =?us-ascii?q?BGujweoB9QgD2j98Krl75xQHCoJLd22nNzE1Ec1gQKM/vVp7h/562PXW?= =?us-ascii?q?IXO8lQAIWx309oN1Kiu3R49e0nouzh3JPYJNBovNlJ2l6XUiBU+HHsJ/?= =?us-ascii?q?13DblwtylP7vE+kp7Jh4aIuQ=3D=3D?= Received: from mail-qt1-f181.google.com ([209.85.160.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Apr 2019 04:04:19 +0200 Received: by mail-qt1-f181.google.com with SMTP id t28so5339576qte.6 for ; Wed, 10 Apr 2019 19:04:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=0ElWI87r7rOWoJ9PWaV6o91ol5EsFe08jPsgV/YxGA8=; b=Um1sPiJ7gl9JF6ot1CW65WMAMTztvQXsxh06hwlTnUib6jV+mQCCG9FinLakfFNDn7 9msEYLB2alEH6d7Me8QcjpfhbqJSdguOGfW+9TsVHy/TcG+2SQodOek3uFwAUWArJgkv 6TPfhpFLM+pPTIB2XTYQ13AOcsrzP7ZPXym0gW8VhiHXwSPfLYmSR44PmV8rtuXAtPvC WRj/MZVDT/fD4+dwfj6lz0k3wzxwYqxqMGX5JC4s9TX7mcrUvlzrRLQV2JI78biwxC0M o2IwfffoOmloUAr/wYQ6m4eADlWQirzFeXHxDReIUeHF+yuCqDjP4u74sOQc5W8jyF1/ H8zA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=0ElWI87r7rOWoJ9PWaV6o91ol5EsFe08jPsgV/YxGA8=; b=Mzj1FnfY9/CqvDjx5Auu0+DiIibzyNZIEr7s3bZrFttlh3YikkObrYok/6NPxuSxsu Y6X9bvg2X44hxz/Hv2B6MApx8esHgFTEQJ2WevJNcXJbzfL3wEmC+qiZwffJIiVPSKtS kwsNhIIhU+AGamVxaenc1AICqm4o9vxOd1YVnMgw3Q07476pgV3niWFCufOBd8FWPnwo Dt9OMoy8tFRpBUCni/HA1vS67tlinoFUS2xnxWwdSR2BzfPKlENTEiv/ZlmQjSI7J6GE pzEZyojO69Adp+nQKsO9frvsNT3D9u5zaULJYNGYw4MbWCn8crPmDYU1K62e++qvaGwu vQgQ== X-Gm-Message-State: APjAAAXxCWeaXA62+GzAeRJr+LtN9X9Hceu1i3eYDJOQ9YVIh/bqER2n 7eNKl5ZeLREgo7La45MM/kVn3/Xdwboc/JX+az/n8VCYcys= X-Google-Smtp-Source: APXvYqyV6qv8ApNMlLAsfnblOVvbRTWriSQVZe/9W9HCjFncqFGrlpQDoidD8h9KuqqbJ0YjYCcMVcfaZm7ESSoAXfc= X-Received: by 2002:ac8:3696:: with SMTP id a22mr38109380qtc.191.1554948256945; Wed, 10 Apr 2019 19:04:16 -0700 (PDT) MIME-Version: 1.0 From: Umair Siddique Date: Wed, 10 Apr 2019 22:04:06 -0400 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="0000000000007fdf410586379a8d" Subject: [Caml-list] [Call for Papers] Formal Verification of Physical Systems (FVPS 2019) Reply-To: Umair Siddique X-Loop: caml-list@inria.fr X-Sequence: 17477 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000007fdf410586379a8d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) Colocated with CICM 2019 July 8, 2019 Prague, Czech Republic https://www.cicm-conference.org/2019/cicm.php?event=3Dfvps&menu=3Dgeneral =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D Theme =3D=3D=3D=3D=3D=3D One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. For example, control and communication protocols are usually modeled using automata theory, and thus analyzed using model checking techniques, while the modeling of physical aspects often require multivariate calculus foundations, which are in turn analyzed using paper-and-pencil based analytical proofs, simulation or theorem proving. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. For example, we are moving towards Quantum Computers to meet the high-performance needs. Similarly, phonic components are increasingly being advocated and used in aerospace applications due to their lightweight and temperature independence compared to traditional electronics-based components. Finally, the impact of physical components is relevant to both the safety and security of the overall system. For example, a malfunction in sensor measurement may lead to safety issues whereas sophisticated physics based side-channel (e.g., power and acoustic measurements) attacks lead to the security violation of the underlying system. The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems. We encourage submissions on interdisciplinary approaches that bring together formal methods and techniques from other knowledge areas such as quantum computing, control theory, biology, optimization theory, and artificial intelligence. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Topics of Interest =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Topics of interest include (but are not limited to): General Topics Formalization of mathematics and physics theories Interactive and automated theorem proving for physical systems Model Checking algorithms and tools for physical systems Formalization of security and safety of physical systems Runtime verification of safety and security properties Combination of formal, semi-formal and informal approaches Formal verification of numerical algorithms Refinement based verification of physical systems Formalization of probability, reliability and statistical metrics Hybrid systems Benchmarks for physical systems Formal requirement specification and validation Formal verification and International Standards (e.g., ISO 26262, IEC 61508, DO 178) Formal verification for safety cases Application Domain Aerospace and avionics systems Automotive cyber-physical systems Robotics Smart-grids Smart transportation Human factor modeling and analysis Biological and healthcare systems =3D=3D=3D=3D=3D=3D=3D=3D=3D Submission =3D=3D=3D=3D=3D=3D=3D=3D=3D Authors should prepare their papers in one column style of CEUR-WS. There are two categories of submissions: Regular papers describing developed work with theoretical or experimental results (upto 15 pages) Short papers on experience reports, tools or work in progress with preliminary results or just new ideas for discussion (upto 6 pages) Electronic submission is done through EasyChair. The submissions will be reviewed by at least three PC members. At least one author of each accepted paper is expected to attend FVPS and presents her/his paper. The authors of the best papers will be invited to submit extended versions to a special issue of a Formal Methods/CPS Journal. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Important Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Full Paper Submission: April 25, 2019 Notification: May 25, 2019 Camera Ready: May 31, 2019 Workshop: July 8, 2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Program Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Aaron Dutle, NASA Langley Research Center, U.S.A. Hubert Garavel, INRIA Grenoble, France Osman Hasan, National University of Sciences and Technology, Pakistan (Chair) Atif Mashkoor, SCCH and JKU, Austria Julien Narboux, University of Strasbourg, France Peter Csaba =C3=96lveczky, University of Oslo, Norway Florian Rabe, FAU Erlangen-N=C3=BCrnberg and LRI Paris, France Sofiene Tahar, Concordia University, Canada (Chair) Umair Siddique, Blackberry QNX Software Systems, Canada (Chair) --0000000000007fdf410586379a8d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=C2=A0
2nd Workshop on Formal Ve= rification of Physical Systems (FVPS 2019)=C2=A0
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Colocated with CICM 20= 19=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0July 8, 2019=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0Prague, Czech Republic=C2=A0
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=C2=A0

=
=3D=3D=3D=3D=3D=3D=C2=A0
Theme=C2=A0
=3D=3D=3D=3D= =3D=3D=C2=A0

One of the main issues behind many fa= iling systems is the ad-hoc verification approach that involves a variety o= f formalism and techniques for the modeling and analysis of various compone= nts of the present-age (cyber)-physical systems. For example, control and c= ommunication protocols are usually modeled using automata theory, and thus = analyzed using model checking techniques, while the modeling of physical as= pects often require multivariate calculus foundations, which are in turn an= alyzed using paper-and-pencil based analytical proofs, simulation or theore= m proving. The fundamental differences between these modeling and analysis = techniques limit us to analyze the whole system as one unit and thus miss m= any corner cases, which arise due to the operation of all the sub-component= s of the system together. One of the major concerns is that, despite the ab= ove-mentioned evident limitation in the analysis methods, many safety-criti= cal systems, such as aerospace, smart-transportation, smart-grid and e-heal= th, are increasingly involving physical elements. Moreover, we are moving t= owards integrating more complex physical elements in our engineering system= s. For example, we are moving towards Quantum Computers to meet the high-pe= rformance needs. Similarly, phonic components are increasingly being advoca= ted and used in aerospace applications due to their lightweight and tempera= ture independence compared to traditional electronics-based components. Fin= ally, the impact of physical components is relevant to both the safety and = security of the overall system. For example, a malfunction in sensor measur= ement may lead to safety issues whereas sophisticated physics based side-ch= annel (e.g., power and acoustic measurements) attacks lead to the security = violation of the underlying system.=C2=A0

The obje= ctive of the workshop is to gather scientists and engineers interested in f= ormal verification techniques for the modeling, analysis, and verification = of safety and security critical physical systems. We encourage submissions = on interdisciplinary approaches that bring together formal methods and tech= niques from other knowledge areas such as quantum computing, control theory= , biology, optimization theory, and artificial intelligence.=C2=A0

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=C2=A0
Topics of Interest=C2=A0
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=C2=A0

Topics of interest include (but are not = limited to):=C2=A0
General Topics=C2=A0
Formalization o= f mathematics and physics theories=C2=A0
Interactive and automate= d theorem proving for physical systems=C2=A0
Model Checking algor= ithms and tools for physical systems=C2=A0
Formalization of secur= ity and safety of physical systems=C2=A0
Runtime verification of = safety and security properties=C2=A0
Combination of formal, semi-= formal and informal approaches=C2=A0
Formal verification of numer= ical algorithms=C2=A0
Refinement based verification of physical s= ystems=C2=A0
Formalization of probability, reliability and statis= tical metrics=C2=A0
Hybrid systems=C2=A0
Benchmarks for= physical systems=C2=A0
Formal requirement specification and vali= dation=C2=A0
Formal verification and International Standards (e.g= ., ISO 26262, IEC 61508, DO 178)=C2=A0
Formal verification for sa= fety cases=C2=A0
Application Domain=C2=A0
Aerospace and= avionics systems=C2=A0
Automotive cyber-physical systems=C2=A0
Robotics=C2=A0
Smart-grids=C2=A0
Smart transpo= rtation=C2=A0
Human factor modeling and analysis=C2=A0
= Biological and healthcare systems=C2=A0

=3D=3D=3D= =3D=3D=3D=3D=3D=3D=C2=A0
Submission=C2=A0
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=C2=A0

Authors should prepare their= papers in one column style of CEUR-WS. There are two categories of submiss= ions:=C2=A0
Regular papers describing developed work with theoret= ical or experimental results (upto 15 pages)=C2=A0
Short papers o= n experience reports, tools or work in progress with preliminary results or= just new ideas for discussion (upto 6 pages)=C2=A0


Electronic submission is done through EasyChair. The submi= ssions will be reviewed by at least three PC members. At least one author o= f each accepted paper is expected to attend FVPS and presents her/his paper= .=C2=A0

The authors of the best papers will be inv= ited to submit extended versions to a special issue of a Formal Methods/CPS= Journal.=C2=A0

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=C2=A0
Important Dates=C2=A0
=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=C2=A0

Full Paper Submission:= April 25, 2019=C2=A0
Notification: May 25, 2019=C2=A0
= Camera Ready: May 31, 2019=C2=A0
Workshop: July 8, 2019=C2=A0

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=C2= =A0
Program Committee=C2=A0
=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=C2=A0

Aaron Dutle, NASA Lang= ley Research Center, U.S.A.=C2=A0
Hubert Garavel, INRIA Grenoble,= France=C2=A0
Osman Hasan, National University of Sciences and Te= chnology, Pakistan (Chair)=C2=A0
Atif Mashkoor, SCCH and JKU, Aus= tria=C2=A0
Julien Narboux, University of Strasbourg, France=C2=A0=
Peter Csaba =C3=96lveczky, University of Oslo, Norway=C2=A0
Florian Rabe, FAU Erlangen-N=C3=BCrnberg and LRI Paris, France=C2=A0<= /div>
Sofiene Tahar, Concordia University, Canada (Chair)=C2=A0
Umair Siddique, Blackberry QNX Software Systems, Canada (Chair)=C2=A0
--0000000000007fdf410586379a8d--