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 67CDB5D4 for ; Tue, 14 May 2019 14:30:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,469,1549926000"; d="scan'208,217";a="383130597" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 May 2019 16:30:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EDE3E826D9; Tue, 14 May 2019 16:30:41 +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 5507F7ED69 for ; Tue, 14 May 2019 16:30:35 +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-f196.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AeE1wlRMIYX/ReMkfq/cl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv36rarrMEGX3/hxlliBBdydt6sdzbuI+P+8EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oKBi7rArdu8sZjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRjnhj?= =?us-ascii?q?oaNz4i6GHYlNB/jL5VrhKmohxw2Y/UYIeIP/Z6ca7QedYWSGxcVchTSiNBGJux?= =?us-ascii?q?YIQPAeQPPuhWspfzqEcVoBSkGQWhHvnixiNUinL026AxzuQvERvB3AwlB98Bvn?= =?us-ascii?q?HUo8/0NKcITOu70ajIwijeYPNXwDf99ZbHeQ0mrPGRWLJ/a8vRyVM1GwPFkFWQ?= =?us-ascii?q?ppfoPzyQ1usXsmib6/BsWv6oi24isgx8pCWkyMkrionMnI0Vy1bE+D1nz4kvPt?= =?us-ascii?q?25SFJ0Yd6+H5tRrSGWLYx2QtktQ21wtyY6y6EGuZ6mfCcR0pgnxhnfZvqaeIaL?= =?us-ascii?q?+hLuTPidLSt8iX5/e7+yhwy+/VWhx+HgTMW4zVJHoytDn9LRrH4CzQbT5dKCSv?= =?us-ascii?q?Zl/keuxzKP1wfL5+FBO080lK7bJ4c4wr4si5YfqErDEjLylUj3lqOWeUIk+u+n?= =?us-ascii?q?6+TjfLrqvIOTN4hxig3mM6QunNKwAfggPwQQQ2SW/f6w2b7j8EHjXblHj+E6nr?= =?us-ascii?q?PEvJ3eJMkXvqu5DBVU0oYn5Ra/FTCm0NEAkHkaKVJKYhOHj5LzN1HOPvD4Auyy?= =?us-ascii?q?g1upkDhxxvDGOqftDYnKLnjGiLvhZ6py61ZAyAovytBS/45bBasEIPL3Q0PxsN?= =?us-ascii?q?3YDgQlMwGv2ObmCNB91psEVm6VA6+ZNrnSsV6S6e41LemMftxdhDGoIPEg47vq?= =?us-ascii?q?jGQlsV4bZ6igm5UNO16iGfEzHkCQYGCkudYNHWYTowd2GPHvgVyYFz5NaF69Wq?= =?us-ascii?q?s94ncwD4fwXtSLfZyknLHUhHTzJZZRfG0TVgHVQCXYMr6cUvJJUxq8Z8pokzgK?= =?us-ascii?q?T7+kEtZz2hSntQu8wL1ifLONp38o8Kn73d0w3NX90BE/8TsuUZaY2mCJCnhoxy?= =?us-ascii?q?YGHm5omq94pkN5xxGI1q0q26UER+wW3OtAV0IBDbCZ1/ZzUomgVQfIf9PPQ1Gj?= =?us-ascii?q?EI2r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoAQCYz9pcYsSgVdFkHgEGBwaBUwcLA?= =?us-ascii?q?YFhLyQBAUNRMyiEEYEdgl6PF4xRjg+BJANUCQEDAS8MAQGBS4E+gTeCHxsHAQQ?= =?us-ascii?q?yBw4BAwEBBAEBAgEBAwEGGAwKCCclDII6DIMoBh0BGwoCEgMSAw03AiQBEQEFA?= =?us-ascii?q?YNXAYFpAQMdD5JTjG2DHzyLHYESBQEXgnoFgTMBgwQKGScNXQOBOgIBBhKBIYt?= =?us-ascii?q?PghaBEYJkgXCBXQICGIEgVIJdglgEiw+bZQNiBwKCC1mFSIw9G4IUhkyNDpMMj?= =?us-ascii?q?kswgTUBZoEhTSOBAYI7gg8MDAsUgziCZIIwhVsmMDKNawIkB4IlAQE?= X-IPAS-Result: =?us-ascii?q?A0AoAQCYz9pcYsSgVdFkHgEGBwaBUwcLAYFhLyQBAUNRMyi?= =?us-ascii?q?EEYEdgl6PF4xRjg+BJANUCQEDAS8MAQGBS4E+gTeCHxsHAQQyBw4BAwEBBAEBA?= =?us-ascii?q?gEBAwEGGAwKCCclDII6DIMoBh0BGwoCEgMSAw03AiQBEQEFAYNXAYFpAQMdD5J?= =?us-ascii?q?TjG2DHzyLHYESBQEXgnoFgTMBgwQKGScNXQOBOgIBBhKBIYtPghaBEYJkgXCBX?= =?us-ascii?q?QICGIEgVIJdglgEiw+bZQNiBwKCC1mFSIw9G4IUhkyNDpMMjkswgTUBZoEhTSO?= =?us-ascii?q?BAYI7gg8MDAsUgziCZIIwhVsmMDKNawIkB4IlAQE?= X-IronPort-AV: E=Sophos;i="5.60,469,1549926000"; d="scan'208,217";a="383130573" X-MGA-submission: =?us-ascii?q?MDEfG5e5kldFXyJ1aBQm2StFsVAlCG2EOHdG23?= =?us-ascii?q?G9tBDcn3Fn9uzcaQSKjrLXdge8KHGvTQ9NCJaVPczX2hXMyQi11S6++0?= =?us-ascii?q?qb4TcFSfMulO7F+Pu93XcHtaOz498msizXx/H7siBHsJWXRUU3+HYwTd?= =?us-ascii?q?17gMSUZfemfP4Y2siIMQEE0A=3D=3D?= Received: from mail-qt1-f196.google.com ([209.85.160.196]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 May 2019 16:30:30 +0200 Received: by mail-qt1-f196.google.com with SMTP id i26so1861193qtr.10 for ; Tue, 14 May 2019 07:30:30 -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=ut7qj5rISJhEsYNhWxmZdmQ8vF703RKqiHWfOWDtYiw=; b=HQJrOZm8mgdOkaIqXs200E/ra/tk+U/y4gzRu3Fwc2tq7Jzg9SN9RfxuKUTXUCiNzO YLnEFiR9EbsdNG1YOUUTVKnZnDQ7wXaRt0i3/8T8kZQTTySdEya4aCF9kSVXEbe/3ttd VgNSudrzN7WJcV6ULDbN6qmyeNW7P567IlZvOs8VsQ9+Zc+1inF1oD8BTtNf2lBJH/Az Yh9o1+r65kDPpdnwG3to8s1J4bPSRsil/hfnU43s+wDHbMclouMsBqS1k0qBGwqBGQI+ BWZ1+W0beyuRsABEecwAQj1jBrmzWppPu5eht5MPWfszWqYCV4tjNWxwBaKu9O5RdKXE ydrw== 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=ut7qj5rISJhEsYNhWxmZdmQ8vF703RKqiHWfOWDtYiw=; b=cVXlcRJ7RMSWVeveQl4xjEZgbPBq1NcG5VHnv0jq/ktoD3cY8nJNuQFhy4l3FFLSbY hlEHI7nKM/1kR/ZtPBr9FBRuudXB3fmhknEaJ8eVnsAISXbHQJO5Nd7PuNdksgds/Wxh lhTLUD0dSh5eJG3Lvmr/gfc6YVu6FxsvM6ax1AsUohp96DuTcFulYs/ssWMriLRm39TL OBtfm4zWHm0Yk7ZcEDHMmTnbuLKI/Ir5BOYL3f8WqXQz8iHvZK3y7a+NhXjNt/FJDU0L Lz2X+Bzh43KegUOf3NH+dNCPh+pXG0NsPvkINLPmcgFFoArbcaEVBFpkcpd4r/xZHtmy S1NA== X-Gm-Message-State: APjAAAWtZlfu2OEMIedHhWvlbI8Ieaz9QkAp0sLbDADRR5Pw5HhH1QvE m83J5gkL1nEC+hcJVFquE11Aa44NSNZUZPeWHirwDHoC7fc= X-Google-Smtp-Source: APXvYqy8OQ1k9EZ/HiL6ymF8lmDnFNk5O7pguVnffNlKDR4VwsMgrhO+Hpuf1FPnnPhBuOamF7nFeRXXfjoVbkoW20Y= X-Received: by 2002:ac8:3231:: with SMTP id x46mr29568011qta.328.1557844229469; Tue, 14 May 2019 07:30:29 -0700 (PDT) MIME-Version: 1.0 From: Umair Siddique Date: Tue, 14 May 2019 10:30:18 -0400 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000e9b9bb0588d9df17" Subject: [Caml-list] [Final Call for Papers] Formal Techniques for Dependable Autonomous Systems (FT4DAS-2019) Reply-To: Umair Siddique X-Loop: caml-list@inria.fr X-Sequence: 17549 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: --000000000000e9b9bb0588d9df17 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D FT4DAS 2019 https://ft4das.github.io 1st International Workshop on Formal Techniques for Dependable Autonomous Systems Co-located with SAFECOMP 2019 September 10, 2019, Turku, Finland. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 Autonomous systems have been increasingly deployed in safety and mission-critical application. For example, future autonomous cars are ready to hit the public roads in a few years. Due to a direct impact on human-lives, their functional safety, security, and dependability are important for both the general public and Original Equipment Manufacturers (OEMs). Formal Methods techniques have the potential to address some of the most important verification and dependability challenges associated with such autonomous systems. Indeed, industrial standards, such as ISO 26262, ISO 61508, IEC 62304, EN 50128 explicitly recommend the use of formal methods in the design and development of autonomous systems. The main purpose of this workshop is to bring together people from both industry and academia and serve as a forum to discuss practical applications of formal methods. Moreover, we believe this workshop will help to discuss the readiness of formal methods in industrial applications by discussing the needs of autonomous systems industry and challenges faced by formal methods researchers. The focus of the workshop will be on formal verification techniques for the modeling, analysis, and verification of safety and security critical autonomous systems. We encourage submissions on interdisciplinary approaches that bring together various formal methods and techniques such as model checking, runtime verification, and theorem proving. =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 Topics of interest include (but are not limited to) - Formal modeling, requirement specification & validation for autonomous systems - Formal verification of AI and ML algorithm for autonomous systems - Runtime verification of safety and security properties - Combination of formal, semi-formal and informal approaches - Formalization of probability, reliability and statistical metrics - Formal Verification of security & privacy aspects of autonomous systems - Hybrid systems - Reliability, maintainability, and security issues in autonomous systems - Formal modeling of ethical issues in autonomous systems - Benchmarks for autonomous Cyber-physical systems - Formal verification & international standards(e.g., ISO26262, IEC61508, DO178) - Formal verification for safety and security assurance cases - Formal verification and safety of the intended functionality (SOTIF) Application domains include: - Autonomous aerospace and avionics systems - Autonomous/semi-autonomous automotive systems - Autonomous robotics - Human factors in autonomous systems =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Organization =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Umair Siddique, Blackberry QNX Software Systems, Canada (PC Chair) Khaza Anuarul Hoque, University of Missouri, USA (PC Chair) =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 - Alessandro Abate, University of Oxford, UK - Asim Abdulkhaleq, Robert Bosch GmbH, Germany - Vincent Aravantinos, Autonomous Intelligent Driving (AID) GmbH, Germany - Rohit Chadha, University of Missouri, USA - Parasara Duggirala, University of North Carolina at Chapel Hill, USA - Fabian Immler, Carnegie Mellon University, USA - Jelena Frtunikj, BMW, Germany - Alwyn E. Goodloe, NASA Langley Research Center, USA - Christopher Hobbs, Blackberry QNX Software Systems, Canada - Taylor T. Johnson, Vanderbilt University, USA - Jeff Joyce, Critical Systems Labs, Inc., Canada - Joost-Pieter Katoen, RWTH Aachen University, Germany - Ramana Kumar, Google Deepmind, UK - Wenchao Li, Boston University, USA - Magnus Myreen, Chalmers University of Technology, Sweden - Gethin Norman, University of Glasgow, UK - Luan V. Nguyen, University of Pennsylvania, USA - Peter Csaba =C3=96lveczky, University of Oslo, Norway - David Parker, University of Birmingham, UK - Guo Zhou, Prover Technology AB, Sweden =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission Details =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D There are three categories of submissions: Regular papers (including case studies) describing developed work with theoretical or experimental results (up to 12 pages) Short papers on experience reports, tools or work in progress with preliminary results (up to 6 pages) New idea papers with innovative and thought-provoking research plans (up to 4 pages) Accepted papers will be published by Springer in Lecture Notes in Computer Science volume and will be provided as a complementary book to the SafeComp 2019 proceedings. Please keep your paper format according to Springer LNCS style guideline. Papers must be submitted electronically through EasyChair Link: https://easychair.org/conferences/?conf=3Dft4das201= 9 =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: May 19, 2019 Notification of acceptance: June 1, 2019 Camera-ready submission: June 10, 2019 Workshop: September 10, 2019 --000000000000e9b9bb0588d9df17 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D
=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 FT4DAS 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=A0https://ft4das.github.io<= /a>


=
Autonomous systems have been increasingly deployed in safety and missi= on-critical application. For example, future autonomous cars are ready to h= it the public roads in a few years. Due to a direct impact on human-lives, = their functional safety, security, and dependability are important for both= the general public and Original Equipment Manufacturers (OEMs). Formal Met= hods techniques have the potential to address some of the most important ve= rification and dependability challenges associated with such autonomous sys= tems. Indeed, =C2=A0industrial standards, such as ISO 26262, ISO 61508, IEC= 62304, EN 50128 =C2=A0explicitly recommend the use of formal methods in th= e design and development of autonomous systems. The main purpose of this wo= rkshop is to bring together people from both industry and academia and serv= e as a forum to discuss practical applications of formal methods. Moreover,= we believe this workshop will help to discuss the readiness of formal meth= ods in industrial applications by discussing the needs of autonomous system= s industry and challenges faced by formal methods researchers.=C2=A0
<= div>





=
- Jelena Frtunikj, BMW, Germany
- Alwyn E. Goodloe, NASA Langley Research Center, USA
- Christopher Hobbs, Blackberry QNX Software Systems, Canada



New idea papers with innovative and thought-provoking research plans (up = to 4 pages)


=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: May 19, 2019
Notification of acceptance: June 1, 2019
Camera-ready su= bmission: June 10, 2019
Workshop: September 10, 2019
<= /div> --000000000000e9b9bb0588d9df17--