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 25A545D5 for ; Thu, 30 May 2019 12:45:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,531,1549926000"; d="scan'208,217";a="385363845" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2019 14:45:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D7FF0826E5; Thu, 30 May 2019 14:45:16 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3F4DF824A7 for ; Thu, 30 May 2019 14:45:10 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-f193.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AnpWyJRMgC160PKtUFTol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfX+rarrMEGX3/hxlliBBdydt6sdzbOM4uu9BSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfL9+Ngi6oRvVu8UZgYZvJbs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?oBKjU38nzYitZoga1UoByvqR9xzZPKbo6JL/dxZL/RcMkASGZdQspcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoIf4p1QUrBu+HxSnCv7uyjBVm3D23LQ60/k/Hgrb2wEgAtcOv2?= =?us-ascii?q?7VrNXvLqsSUf61zKbTwDXMavNZwzb96IzSfh89pvGMWKt9fMzMwkchEAPFi0+f?= =?us-ascii?q?qY3jPz6NyOsCqXOb7up8WuKvkWEnqhtxriKoxsc2hYnFnp4aylHY+iV82Yo6Od?= =?us-ascii?q?q4SEh1YdG6CptfqSeaOJdoTc84RGFooik6x7sbspC4ZCgH0IorywLbZvCdcIWF?= =?us-ascii?q?4gjvWPuQLDtknn5pZbayihi0/EO90OPzTNO030xPriddktnDqHQN1xvL58iCUP?= =?us-ascii?q?R9/0Oh1S+W1wDP9+1IOE40mbffJpMv2LIwmZ0TsUPMHi/yhkr6lrOZdkIh+uSw?= =?us-ascii?q?6uTnZKvppoOEOoNqlg3zNr4il8+/DOgiLwQDXnSX9f6h2LDn80D1WLBKgec3kq?= =?us-ascii?q?ndvpDaP8MbpquhDg9I14Ys8Re/Dy283NQYg3kHI0lIeB2Cj4fzOlHOJOr0Auu4?= =?us-ascii?q?g1SpiDtr3ezJPqX9ApXRKXjOiKvucqx4605Y0QYzydFf54lICrwaO/LyWkrxtM?= =?us-ascii?q?TCARMjMgy0xfznCNRn2Y8EV2KPGPzRDKSHulaN4qcrIvKQTI4Tojf0bfY/tND0?= =?us-ascii?q?inpspFoUfLPh5pobZHGhA/kud1icaHv2xNcfHk8FuwM/SKrhj1jUAm0bXGq7Q6?= =?us-ascii?q?9pvmJzM4mhF4qWHtn80ozE5z+yG9htXk4DD1mNFXnycIDdAqUDbSuTJolqlTlW?= =?us-ascii?q?DOH8Gb9k7gmnsUrB85QiLufQ/XdG55fq1dww/vGK0B9rpGcyAMOa3GWACWpzmz?= =?us-ascii?q?FQHmNk7OVEuUV4j2y7/+1gmfUBTI5c4vpIVkExMpuOl+E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BEEwDHz+9cdMGgVdFLGh4BBgcGgWWBK?= =?us-ascii?q?gI2BYETgQQohBSBHUKCHI8HjFSQEAkBAwEMIwwBAYFLgT6BN4J/GwcBBDQTAQM?= =?us-ascii?q?BAQQBAQIBAQMBEwEKCwwHJyUMgjoigxIGHQEbCgISAxIDDTAHAiQBEQEFAYMMS?= =?us-ascii?q?wGBaQEDHQ82jW+Mb4MfPIsggRIFAReCegWBMwGDCgoZJw1dA4E6AgEGEoEgAgK?= =?us-ascii?q?LVIIWgRGCZIFwgV0EGIEgVIJdglgEizcYnR0HAoIPXoVdjGgbhhOQRAGEBIYEi?= =?us-ascii?q?XaPGw8hgUWBeU0jgQGCO4IPGB+DOYUUhVsmMAGMMgIkB4IlAQE?= X-IPAS-Result: =?us-ascii?q?A0BEEwDHz+9cdMGgVdFLGh4BBgcGgWWBKgI2BYETgQQohBS?= =?us-ascii?q?BHUKCHI8HjFSQEAkBAwEMIwwBAYFLgT6BN4J/GwcBBDQTAQMBAQQBAQIBAQMBE?= =?us-ascii?q?wEKCwwHJyUMgjoigxIGHQEbCgISAxIDDTAHAiQBEQEFAYMMSwGBaQEDHQ82jW+?= =?us-ascii?q?Mb4MfPIsggRIFAReCegWBMwGDCgoZJw1dA4E6AgEGEoEgAgKLVIIWgRGCZIFwg?= =?us-ascii?q?V0EGIEgVIJdglgEizcYnR0HAoIPXoVdjGgbhhOQRAGEBIYEiXaPGw8hgUWBeU0?= =?us-ascii?q?jgQGCO4IPGB+DOYUUhVsmMAGMMgIkB4IlAQE?= X-IronPort-AV: E=Sophos;i="5.60,531,1549926000"; d="scan'208,217";a="307685628" X-MGA-submission: =?us-ascii?q?MDFANxS/76l3tMNp7/At2jVngUC3PgfSNAigQ0?= =?us-ascii?q?CiRWoeMM+QNymjXii2ki8jVZOgL/1hRv65/JAvnT8h5CPsJk5SB917K2?= =?us-ascii?q?nhJNM9Kb3saQm+lhXNZCPMMd7hmPj6BEMDbZOSE4Sanpsn+K38vjlb2E?= =?us-ascii?q?gWzk49JdhBDd44YemGC5ig4Q=3D=3D?= Received: from mail-qt1-f193.google.com ([209.85.160.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 May 2019 14:45:08 +0200 Received: by mail-qt1-f193.google.com with SMTP id 14so6753434qtf.0 for ; Thu, 30 May 2019 05:45:08 -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=G/RRVc+taOq8y2clQDKHixbv1fwyW1UXbZa+5PSRHtI=; b=Gw8WZ65WiCoeH44CpPaumDeV/BbrxHszNQRtDG+vHgtIvf6ekVQdNv5T1nxVuUUC8G W394y15J+G62KixQQbpi3jE9rAdPucHx3P2jxLUmtxdZPeIJrwfr5WsCG1OspXgbYy0O 69TIdtbG2wyguzWyuQfE0bRw2tp8PptzFqWx1tA02f1MwQHkQbUPJ+d4VRwjIXHbsRlN eSCNPKufdcXbiVYdeYrJi+DBomVtEaas1pldC7bnL1VzYrsYscdPguu2tKVgtKfRVWCg 1D7A4JIj66B1Y06N1CNAQZvqDZE4EfLj0QLtsECsc0bz3rmcD3C2CfG3ax3upmDLSC86 74ng== 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=G/RRVc+taOq8y2clQDKHixbv1fwyW1UXbZa+5PSRHtI=; b=UxsVX39af2pttnA9cRZ0s5n9RjyJYWBpef90EoQ12wNFbWhbLLF5WFIkUs0e0PiKdy 2z7q65C9S/906O4lap6uob/vAZqdLUWs39ADf8YUgotPBijbJI8coGo2jfRVLZW7mEGq 9McmSh+T1GyWILJaKr5x8QeYNPpf7Xzc7loIAazmmIs/uz8fwTxYRY+VZpL3uM5T1aP4 ZglF6egeHuY2xVEzeitqfoHC9zkywU4KgQhwZDlgO6eoZpXuwnD6Ml94qzQmUJXBJ5d3 tmAeRNWnkAO3lpRDKZ8k1u9MJfLMZJuVZBAPSDfCG3fU+fEDxG3TofXTGvz0oFhK8K42 QkDQ== X-Gm-Message-State: APjAAAWbP8Uh9F3WejDqLSoWR52EQgB+wnbVmP8R5RCzuQmoJbsZxkSf zv4qLduDoHDCLn8weE4Vue7YaLRFHUQexSogY37lQI0RwQA= X-Google-Smtp-Source: APXvYqzOYL+s4+PUGWitVKjLr0IlKKPRt9S5mtwspl3EdjYbXULhB+skD45uZZUIXepJPk3rI16KVhSppyubqgBtQZE= X-Received: by 2002:ac8:2dcf:: with SMTP id q15mr3239203qta.170.1559220306951; Thu, 30 May 2019 05:45:06 -0700 (PDT) MIME-Version: 1.0 From: Umair Siddique Date: Thu, 30 May 2019 08:44:56 -0400 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000085c398058a1a44d6" Subject: [Caml-list] [CICM] Call for Participation - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) Reply-To: Umair Siddique X-Loop: caml-list@inria.fr X-Sequence: 17594 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: --00000000000085c398058a1a44d6 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 Call for Participation 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 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 We welcome presentation and demonstration proposals in the form of extended 1-4 page abstracts formatted in LaTeX. Abstracts should submitted through EasyChair (https://easychair.org/conferences/?conf=3Dfvps2019) Abstracts of presentations and demonstrations will be published online. More details about FVPS 2019 are available at https://www.cicm-conference.org/2019/cicm.php?event=3Dfvps&menu=3Dgeneral Important Dates o Abstract submission: June 24, 2019 o Notification: July 01, 2019 o Workshop: July 8, 2019 Registration Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event=3D&menu=3Dregistration =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) --00000000000085c398058a1a44d6 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
Call for Participation
2nd Workshop on Formal Verif= ication 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 Colocated with CICM 2019=C2= =A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 July 8, 2019=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 Prague, 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

The objective of the workshop is t= o gather scientists and engineers interested=C2=A0
in formal veri= fication techniques for the modeling, analysis, and verification=C2=A0
of safety and security critical physical systems. We encourage submis= sions on=C2=A0
interdisciplinary approaches that bring together f= ormal methods and techniques=C2=A0
from other knowledge areas suc= h as quantum computing, control theory, biology,=C2=A0
optimizati= on 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<= /div>
General Topics=C2=A0
Formalization of mathematics and p= hysics theories=C2=A0
Interactive and automated theorem proving f= or physical systems=C2=A0
Model Checking algorithms and tools for= physical systems=C2=A0
Formalization of security and safety of p= hysical 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 numerical algorithms=C2= =A0
Refinement based verification of physical systems=C2=A0
=
Formalization of probability, reliability and statistical metrics=C2= =A0
Hybrid systems=C2=A0
Benchmarks for physical system= s=C2=A0
Formal requirement specification and validation=C2=A0
Formal verification and International Standards (e.g., ISO 26262, IE= C 61508, DO 178)=C2=A0
Formal verification for safety cases=C2=A0=
Application Domain=C2=A0
Aerospace and avionics system= s=C2=A0
Automotive cyber-physical systems=C2=A0
Robotic= s=C2=A0
Smart-grids=C2=A0
Smart transportation=C2=A0
Human factor modeling and analysis=C2=A0
Biological and h= ealthcare 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

We welcome presentation and demonstration p= roposals in the form of extended 1-4
page abstracts formatted in = LaTeX.=C2=A0 Abstracts should submitted through=C2=A0
Abstracts of presenta= tions and demonstrations will be published online.

More details about FVPS 2019 are available at


Important Dates

<= /div>
=C2=A0 =C2=A0o Abstract submission: June 24, 2019

<= /div>
=C2=A0 =C2=A0o Notification: =C2=A0 =C2=A0 =C2=A0 =C2=A0July 01, = 2019

=C2=A0 =C2=A0o Workshop: =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0July 8, 2019

Registration

Registration to CICM 2019 and the workshops is open a= t the CICM
website or directly at


=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

A= aron Dutle, NASA Langley Research Center, U.S.A.=C2=A0
Hubert Gar= avel, INRIA Grenoble, France=C2=A0
Osman Hasan, National Universi= ty of Sciences and Technology, Pakistan (Chair)=C2=A0
Atif Mashko= or, SCCH and JKU, Austria=C2=A0
Julien Narboux, University of Str= asbourg, France=C2=A0
Peter Csaba =C3=96lveczky, University of Os= lo, Norway=C2=A0
Florian Rabe, FAU Erlangen-N=C3=BCrnberg and LRI= Paris, France=C2=A0
Sofiene Tahar, Concordia University, Canada = (Chair)=C2=A0
Umair Siddique, Blackberry QNX Software Systems, Ca= nada (Chair)=C2=A0
--00000000000085c398058a1a44d6--