From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 6E1E85D4
	for <caml-list@inbox.ocaml.org>; Thu, 11 Apr 2019 02:30:57 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.60,335,1549926000"; 
   d="scan'208,217";a="378106897"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 11 Apr 2019 04:30:56 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 4BDA182673; Thu, 11 Apr 2019 04:30:56 +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 F402F8249D
	for <caml-list@sympa.inria.fr>; Thu, 11 Apr 2019 04:30:51 +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-qk1-f174.google.com
IronPort-PHdr: =?us-ascii?q?9a23=3AX2XLAR0n+EHJaentsmDT+DRfVm0co7zxezQtwd8Z?=
 =?us-ascii?q?seISLfad9pjvdHbS+e9qxAeQG9mCsrQd26GL6eigATVGvc/Z9ihaMdRlbFwssY?=
 =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?=
 =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMq8Uam5ZuJ6U+xhbJvHdDZu?=
 =?us-ascii?q?BayX91KV6JkBvw+9u88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?=
 =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?=
 =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7act0HWGpBRd5RWDJdDYOg?=
 =?us-ascii?q?YYUPCO8BMvxZr4n7ulACqRSzCA2pCO7p1zRGhGL53bci3usuEQ/I0g8uEc8Qvn?=
 =?us-ascii?q?vIt9j6LrseXPqvwaXU0TnObfVb0ir95ojSdRAhpOmBUrx1ccXLyEkvDR7OgEiR?=
 =?us-ascii?q?qYP4IjyV1/0Ns3WF4OF9Uu+vlmsnpBtwoji13MssipfJho0Ox1DL8CV22oc1Jd?=
 =?us-ascii?q?miREFnZt6kFYJduieHPIV4RcMiRntnuCc8yrAep5G0ZjMKyZQ7yB7fcfOHcpKI?=
 =?us-ascii?q?7gjkVOaLLjd0nH1leLOjhxay7Eiv0ffwVsiz0FtMsyFLkcHMu2gT2xDP7sWLUP?=
 =?us-ascii?q?hw80e71TqRyQzf9PtILV02mKfULZMq36Q+mYAJsUvZGy/7gEX2g7GSdkUj4uWo?=
 =?us-ascii?q?7v7oYrTippOFLo90iRzyPr0gmsCiA+k1PRICX2ec+eS7273j+VP2TK9Wgf0xl6?=
 =?us-ascii?q?nVqJHaJcIFqa6lGwJZzJov5hKlAzql0NkUh2cLIExbdB6dkoTkOV7DLOj9Dfil?=
 =?us-ascii?q?glSslDlrx+rBPr3kGpjNM33Dn63gfbZn8UJcyBQzzd9E6pJbD7EOOvPzWkvruN?=
 =?us-ascii?q?PECR85NhS4w/z7B9VlyoMeRWWPD7eFP6zItF+I4vsjI+2NZI8OpDbwMOMl5v7r?=
 =?us-ascii?q?jX8hg1ARZ6ip3Z0NaHC5BPtqOUuZYWC/yusGRGwDuw57SO3xlHWDVyRSbjC8Rf?=
 =?us-ascii?q?ES/DY+Xb+jBIbZDrusjLCAxTq2VslLY2lHEBaMD3jAeICNWvNKYyWXdJwy2gcY?=
 =?us-ascii?q?XKSsHtdynSqlsxX3nuY2d7uGymgjrZvmkeNNyajWnBA2+yZzCp3EgW6IRmBw2G?=
 =?us-ascii?q?gPQm1vhf0tkQlG0l6GlJNArblYGNhUva0bVw47MdvFzLU/BYmtBkTOedCGTFvg?=
 =?us-ascii?q?SdKjU2loEoABhuQWakM4IO2MywjZ1nPzUbAQnr2PQpcz9/CE0g=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AwA+pq5ch67eVdFlHgEGBwaBZYFig?=
 =?us-ascii?q?RdQMyeEDoEdgl6POIxJjy4DVBAFHoFUgnWFbRoHAQQ0EgEBAwEBCQECAQEBARM?=
 =?us-ascii?q?BAQEIDQkIGw4jDII6DIMoBh0BGwoCEgMSAw03AiQBEQEFAYNXAYFcAQMVD5AEj?=
 =?us-ascii?q?G2DHzyLHYESBQEXgnoFgTIBgwYKGScNX4E4AgEFEoEei0eCFoERgmSBcIFdAgI?=
 =?us-ascii?q?YgSBUgl2CVwOKTZpbA18HAoJThTOMARqCBoYWjEiReI11DyGBRYF3TSOBAYI7g?=
 =?us-ascii?q?goMDAIJFIM4gmSCMIVbJjAxjW4CJAeCIQEB?=
X-IPAS-Result: =?us-ascii?q?A0C+AwA+pq5ch67eVdFlHgEGBwaBZYFigRdQMyeEDoEdgl6?=
 =?us-ascii?q?POIxJjy4DVBAFHoFUgnWFbRoHAQQ0EgEBAwEBCQECAQEBARMBAQEIDQkIGw4jD?=
 =?us-ascii?q?II6DIMoBh0BGwoCEgMSAw03AiQBEQEFAYNXAYFcAQMVD5AEjG2DHzyLHYESBQE?=
 =?us-ascii?q?XgnoFgTIBgwYKGScNX4E4AgEFEoEei0eCFoERgmSBcIFdAgIYgSBUgl2CVwOKT?=
 =?us-ascii?q?ZpbA18HAoJThTOMARqCBoYWjEiReI11DyGBRYF3TSOBAYI7ggoMDAIJFIM4gmS?=
 =?us-ascii?q?CMIVbJjAxjW4CJAeCIQEB?=
X-IronPort-AV: E=Sophos;i="5.60,335,1549926000"; 
   d="scan'208,217";a="302489951"
X-MGA-submission: =?us-ascii?q?MDFxesJO1shMCSQKSRuf8gXlOQXH48dk/Fn83/?=
 =?us-ascii?q?5Xp/gwyW6jIMjxmhZ21gOtJtFT9ZOsGsBCy6MMt/94mK8M/YBx01s0KN?=
 =?us-ascii?q?K9+qTnnZBnnI1FjYp2mhQDgB0cIRLPTMqMHIFa9BoV4CLttJOFL6CFBm?=
 =?us-ascii?q?eBlFWTbwXyyqJpKkfWlikDxg=3D=3D?=
Received: from mail-qk1-f174.google.com ([209.85.222.174])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Apr 2019 04:30:50 +0200
Received: by mail-qk1-f174.google.com with SMTP id c1so2577341qkk.4
        for <caml-list@inria.fr>; Wed, 10 Apr 2019 19:30:50 -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=RNTPPwCxRGzVjkaX1iWvBFhcJd0ALqOdebdQcA+dCAU=;
        b=HjsIkZzcRxYEGYNofA/fiVrGazLm0yLbRHHF9QM499AJkajjlHlMAuv7sjgNeIxAqc
         DgGTEitdvE+7EMXKWTXYlAfrKxT/urTXLLvv13QCBSi2jokczlVinvfFYYjFICXURDF9
         x8Ud+Zt/9dfqI/2XZS1Tti71Zej3xuiwj+5c4Pr/ZCrVd9tUIBfJI+8xvYsqcbOqrx24
         6RbIWVe0hMCcQ+s4TZsPQcsSplKvtAdtxNxfrUtWQogLJYniCMAX5MSmEpSQPtrJR5Ek
         u0Gv3kKXArh6IqFbp/W7k+sFi9VoKYs8arrwho1uen8w5uz4OnGkqdlPLZVkZ3C9wd2i
         TyZA==
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=RNTPPwCxRGzVjkaX1iWvBFhcJd0ALqOdebdQcA+dCAU=;
        b=TaRStLdFxtQZeTRa4v2rckTR8MDgcdbhzvPs7jC/9keAFxLcC7MARIUQqIE6l3uG+7
         SWGDj+3CxOUX7mb0nE3xDmw8DkW/sYv5Fo2w2Lr7fB6RH6xXwFpKQ8mybUMnZxV0yinC
         h3yzpB7D/u2l56gtNfQjbhq2NmylQTE1fC8i/Xy8Xb55yLBXcRnqbDbUYhp2mWlKulMk
         7+T2PTcIO+luWM2IXu12Xt+z3kXaMI1ThLGrxTq7Nu9W4SfOVejyZEwJ801P6++Y0oVS
         AUTqOb9wNuD8fn0gA+MQi+1dpYSdQO4He5LYCdR0aNFe+diml2GYqstYMCjuNkn4BTeI
         Sl4A==
X-Gm-Message-State: APjAAAUfDzwmxsNCOdQuvsv09tj+WF3tTY917RQfMcgA4FfNOCp8K7Hn
	mPKe3TZoNco+C+SfyjjwZ6E2Xs85qQgJ553vkc5IM+5scoI=
X-Google-Smtp-Source: APXvYqzP/g+bqx5eNwAAPKxJOHjXDezoghaq4FLOLVPXujbf+TlWPof3I77+AP6UhwMCxBw3S25gcaEwKD0uqArgsCk=
X-Received: by 2002:a37:634f:: with SMTP id x76mr31948221qkb.55.1554949848963;
 Wed, 10 Apr 2019 19:30:48 -0700 (PDT)
MIME-Version: 1.0
From: Umair Siddique <umair.hvg@gmail.com>
Date: Wed, 10 Apr 2019 22:30:38 -0400
Message-ID: <CAFJB9SEPUrBGyudEfcnJ-K+6XzbU2UZYGeh5dCLuwg5V0QXcBw@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary="000000000000641d7d058637f90c"
Subject: [Caml-list] [Call for Papers] Formal Techniques for Dependable
 Autonomous Systems (FT4DAS-2019)
Reply-To: Umair Siddique <umair.hvg@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 17478
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

--000000000000641d7d058637f90c
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 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
Vincent Aravantinos, Autonomous Intelligent Driving (AID) GmbH, Germany
Rohit Chadha, University of Missouri, 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
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 13, 2019
Notification of acceptance: June 1, 2019
Camera-ready submission: June 10, 2019
Workshop: September 10, 2019

--000000000000641d7d058637f90c
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>=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 <span class=3D"gmail-Apple-tab-span" style=3D"white-space:pre">	=
			</span>FT4DAS 2019</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 <span class=3D"gmail-Apple-tab-span" sty=
le=3D"white-space:pre">			</span> =C2=A0 =C2=A0 =C2=A0 <a href=3D"https://f=
t4das.github.io">https://ft4das.github.io</a></div><div><span class=3D"gmai=
l-Apple-tab-span" style=3D"white-space:pre">	</span> 1st International Work=
shop on Formal Techniques for Dependable Autonomous Systems</div><div><span=
 class=3D"gmail-Apple-tab-span" style=3D"white-space:pre">	</span> <span cl=
ass=3D"gmail-Apple-tab-span" style=3D"white-space:pre">					</span>Co-locat=
ed with SAFECOMP 2019=C2=A0</div><div><span class=3D"gmail-Apple-tab-span" =
style=3D"white-space:pre">						</span></div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 <span class=3D"gmail-Apple-ta=
b-span" style=3D"white-space:pre">				</span>September 10, 2019, Turku, Fin=
land.=C2=A0</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div><br></div><div>=3D=3D=3D=3D=
=3D=3D</div><div>Theme</div><div>=3D=3D=3D=3D=3D=3D</div><div><br></div><di=
v>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, the=
ir functional safety, security, and dependability are important for both ge=
neral public and Original Equipment Manufacturers (OEMs). Formal Methods te=
chniques have the potential to address some of the most important verificat=
ion and dependability challenges associated with such autonomous systems. I=
ndeed, =C2=A0industrial standards, such as ISO 26262, ISO 61508, IEC 62304,=
 EN 50128 =C2=A0explicitly recommend the use of formal methods in the desig=
n 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 bel=
ieve this workshop will help to discuss the readiness of formal methods in =
industrial applications by discussing the needs of autonomous systems indus=
try and challenges faced by formal methods researchers.=C2=A0</div><div><br=
></div><div>The focus of the workshop will be on formal verification techni=
ques for the modeling, analysis, and verification of safety and security cr=
itical autonomous systems. We encourage submissions on interdisciplinary ap=
proaches that bring together various formal methods and techniques such as =
model checking, runtime verification and theorem proving.=C2=A0</div><div><=
br></div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>Topics of I=
nterest</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div><br></d=
iv><div>Topics of interest include (but are not limited to)</div><div><br><=
/div><div>- Formal modeling, requirement specification &amp; validation for=
 autonomous systems</div><div>- Formal verification of AI and ML algorithm =
for autonomous systems</div><div>- Runtime verification of safety and secur=
ity properties</div><div>- Combination of formal, semi-formal and informal =
approaches</div><div>- Formalization of probability, reliability and statis=
tical metrics</div><div>- Formal Verification of security &amp; privacy asp=
ects of autonomous systems</div><div>- Hybrid systems</div><div>- Reliabili=
ty, maintainability, and security issues in autonomous systems</div><div>- =
Formal modeling of ethical issues in autonomous systems</div><div>- Benchma=
rks for autonomous Cyber-physical systems</div><div>- Formal verification &=
amp; international standards(e.g., ISO26262, IEC61508, DO178)</div><div>- F=
ormal verification for safety and security assurance cases</div><div>- Form=
al verification and safety of the intended functionality (SOTIF)</div><div>=
<br></div><div>Application domains include:</div><div><br></div><div>- Auto=
nomous aerospace and avionics systems</div><div>- Autonomous/semi-autonomou=
s automotive systems</div><div>- Autonomous robotics</div><div>- Human fact=
ors in autonomous systems</div><div><br></div><div>=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D</div><div>Organization</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div=
><div><br></div><div>Umair Siddique, Blackberry QNX Software Systems, Canad=
a (PC Chair)</div><div>Khaza Anuarul Hoque, University of Missouri, USA (PC=
 Chair)</div><div><br></div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D</div><div>Program Committee</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D</div><div><br></div><div>Alessandro Abate, University of=
 Oxford, UK</div><div>Vincent Aravantinos, Autonomous Intelligent Driving (=
AID) GmbH, Germany</div><div>Rohit Chadha, University of Missouri, USA</div=
><div>Jelena Frtunikj, BMW, Germany</div><div>Alwyn E. Goodloe, NASA Langle=
y Research Center, USA</div><div>Christopher Hobbs, Blackberry QNX Software=
 Systems, Canada</div><div>Taylor T. Johnson, Vanderbilt University, USA</d=
iv><div>Jeff Joyce, Critical Systems Labs, Inc., Canada</div><div>Joost-Pie=
ter Katoen, RWTH Aachen University, Germany</div><div>Wenchao Li, Boston Un=
iversity, USA</div><div>Magnus Myreen, Chalmers University of Technology, S=
weden</div><div>Gethin Norman, University of Glasgow, UK</div><div>Luan V. =
Nguyen, University of Pennsylvania, USA</div><div>Peter Csaba =C3=96lveczky=
, University of Oslo, Norway</div><div>David Parker, University of Birmingh=
am, UK</div><div>Guo Zhou, Prover Technology AB, Sweden</div><div><br></div=
><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>Submission De=
tails</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div><br=
></div><div>There are three categories of submissions:=C2=A0</div><div><br>=
</div><div>Regular papers (including case studies) describing developed wor=
k with theoretical or experimental results (up to 12 pages)</div><div>Short=
 papers on experience reports, tools or work in progress with preliminary r=
esults (up to 6 pages)</div><div>New idea papers with innovative and though=
t-provoking research plans (up to 4 pages)</div><div><br></div><div>Accepte=
d papers will be published by Springer in Lecture Notes in Computer =C2=A0S=
cience volume and will be provided as a complementary book to the SafeComp =
2019 =C2=A0proceedings. Please keep your paper format according to Springer=
 LNCS style guideline.=C2=A0 Papers must be submitted electronically throug=
h EasyChair Link: <a href=3D"https://easychair.org/conferences/?conf=3Dft4d=
as2019">https://easychair.org/conferences/?conf=3Dft4das2019</a>=C2=A0</div=
><div><br></div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>Impo=
rtant Dates</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div><br=
></div><div>Full Paper Submission: May 13, 2019</div><div>Notification of a=
cceptance: June 1, 2019</div><div>Camera-ready submission: June 10, 2019</d=
iv><div>Workshop: September 10, 2019</div></div></div>

--000000000000641d7d058637f90c--