caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [Final Call for Papers] Formal Techniques for Dependable Autonomous Systems (FT4DAS-2019)
@ 2019-05-14 14:30 Umair Siddique
  0 siblings, 0 replies; 1+ messages in thread
From: Umair Siddique @ 2019-05-14 14:30 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 5301 bytes --]

                             FT4DAS 2019
 1st International Workshop on Formal Techniques for Dependable Autonomous
  Co-located with SAFECOMP 2019
                     September 10, 2019, Turku, Finland.


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

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.

Topics of Interest

Topics of interest include (but are not limited to)

- Formal modeling, requirement specification & validation for autonomous
- 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,
- 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


Umair Siddique, Blackberry QNX Software Systems, Canada (PC Chair)
Khaza Anuarul Hoque, University of Missouri, USA (PC Chair)

Program Committee

- 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 Ölveczky, University of Oslo, Norway
- David Parker, University of Birmingham, UK
- Guo Zhou, Prover Technology AB, Sweden

Submission Details

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:

Important Dates

Full Paper Submission: May 19, 2019
Notification of acceptance: June 1, 2019
Camera-ready submission: June 10, 2019
Workshop: September 10, 2019

[-- Attachment #2: Type: text/html, Size: 7728 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-14 14:30 [Caml-list] [Final Call for Papers] Formal Techniques for Dependable Autonomous Systems (FT4DAS-2019) Umair Siddique

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox