Formal Methods for ML-enabled Autonomous Systems, CfP FoMLAS workshop @ ETAPS 2018

by Chih-Hong Cheng, Dec. 4, 2017

This goal of FoMLAS workshop is to facilitate discussion regarding how formal methods can be used to increase predictability, explainability, and accountability of machine learning (ML) enabled autonomous systems.

CALL FOR PAPERS

First Workshop on

Formal Methods for ML-enabled Autonomous Systems

(FoMLAS 2018)

April 21, 2018

 

Affiliated With ETAPS 2018

Thessaloniki, Greece

fomlas2018.fortiss.org/en/

 

 

AIM:

After the well-known DARPA Urban challenge, there have been significant improvements towards autonomous driving. In the past few years, the major theme when building self-driving cars has shifted to machine learning (ML), in particular deep learning and probabilistic techniques. When these new algorithms act as key components in autonomous driving, they create substantial technological challenges in terms of explainability (e.g., can I explain what is happening inside the machine-learning algorithm?), predictability and correctness (e.g., can I predict what will happen next in the algorithm, or how good can the machine learning component generalize?), and accountability (e.g., when an accident occurs, can one find the root cause, or who is the one to blame?).

This goal of this workshop is to facilitate discussion regarding how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. The workshop welcomes results from concept formulation (by connecting these concepts with existing research topics in logic and games), as well as algorithms, tools or concrete case studies.

 

INVITED SPEAKERS:

  • Dr. John Rushby, SRI International
  • Dr. Xiaowei Huang, Univ. Liverpool
  • Dr. Alhussein Fawzi (UCLA) - Adverserial Training Examples
  • Dr. Mauricio Castillo-Effen (GE) - Challenges in avionics
  • Dr. Simon Burton (BOSCH; tentatively agreed) - Challenges in automotives

SUBMISSION:

Submissions must be unpublished and not be submitted for publication elsewhere. Full papers are limited to 12 pages EPTCS style (not counting the appendices). Short papers and extended abstracts are welcome, which are limited to 6 pages EPTCS style.

Submissions must be in English and submitted in PDF format via EasyChair (https://easychair.org/conferences/?conf=fomlas2018).

All submissions will be peer reviewed by at least three referees. Papers will be judged based on their novelty, relevance and technical merit.

 

IMPORTANT DATES (AoE):

  • Submission date: 10 February 2018 
  • Notification date: 3 March 2018 
  • Final papers due: 24 March 2018
  • EPTCS proceedings due: 1 May 2018

ORGANIZATION:

Workshop Co-chairs

  • Chih-Hong Cheng, fortiss - Landesforschungsinstitut des Freistaats Bayern
  • Indranil Saha, IIT Kanpur

Advisory board

  • Harald Ruess, fortiss, Germany 
  • John Rushby, SRI International, USA  

Program Committee

  • Yu-Fang Chen, Academia Sinica, Taiwan
  • Jyotirmoy Deshmukh, USC, USA 
  • Rüdiger Ehlers, Univ. Bremen, Germany
  • Susmit Jha, SRI International, USA
  • Xiaowei Huang, Univ. Liverpool, UK
  • Rupak Majumdar, MPI-SWS, Germany 
  • Ivan Papusha, UT Austin, USA 
  • Harald Ruess, fortiss, Germany 
  • John Rushby, SRI International, USA 
  • Starvos Tripakis, Aalto University, Finland

Local arrangement

  • Georg Nührenberg, fortiss - Landesforschungsinstitut des Freistaats Bayern
  • Chung-Hao Huang, fortiss - Landesforschungsinstitut des Freistaats Bayern

 

CONTACT:

  • Chih-Hong Cheng <cheng@fortiss.org>
  • Indranil Saha <isaha@cse.iitk.ac.in>