1st Workshop: Trust me I am Autonomous 5th July 2019 - Toulouse, France

Description

The workshop will take place at Toulouse, during the PFIA, biggest French event on Artificial Intelligence https://www.irit.fr/pfia2019/ (Toulouse city center) and is supported by the Chantier TrustMeIA, the National Conference on AI and the GdR Robotique - GT4.

The objective of this one-day workshop (invited speakers only), "Trust me I am autonomous #1 », is to address issues regarding the confidence of autonomous systems including AI-based components. We basically want to address (not limited to) :

verification, validation, confidence estimation and certification
decision making under uncertainty and incompleteness,
new software architectures for safe autonomous systems (integrity levels management, isolation of components in intelligence architectures, runtime verification, monitoring),
transparency and explainability of perception, inference mechanisms

Venue

The workshop will take place at Toulouse, during the PFIA2019, in the Arsenal Campus, here :
https://www.irit.fr/pfia2019/informations-pratiques/
in the ~~room J04.~~ Amphi D P. Reynaud

Program

8h25 TrustmeIA introduction - Jérémie Guiochet, LAAS-CNRS, FR

Session 1 - Explainability (Session Chair : Caroline Chanel)
8h30-9h00: Trust me - you can see my intention, Michael Fisher , Univ. Liverpool, UK [Download slides]
9h00 - 9h30 : Constraint-Based Explanations for Machine Learning Models, Joao Marques-Silva , Univ. Lisbon, PT [Download slides]
9h30-10h00 : Discussion panel (Session discutants : Jean Loup Farges, Nicolas Drougard)

10h00-10h30 : Coffee break

Session 2 - Testing (Session Chair : Charles Lesire)
10h30-11h00 : Automated Testing of Autonomous Driving Assistance Systems, Lionel Briand , Univ. Ottawa, Canada and Univ. Luxembourg, LU [Download slides]
11h00-11h30 : Testing an agriculture robot in virtual crop fields, Hélène Waeselynck , LAAS-CNRS, FR [Download slides]
11h30- 12h00 : Discussion panel (Session discutants : Lydie Du Bousquet, Hugues Bonnin)

12h00-14h00 Lunch break

Session 3 - V&V, certification (Session Chair: Marc Pantel)
14h00-14h30 : Challenges in certification of computer vision based systems for civil aeronautics, Claire Pagetti , ONERA, FR [Download slides]
14h30-15h00 : Verification of Autonomous Robots, a Roboticist Bottom Up Approach, Félix Ingrand , LAAS-CNRS, FR [Download slides]
15h00-15h30 : Risk Structures: An Algebraic Approach to Risk-aware Systems, Mario Gleirscher , Univ. York, UK [Download slides]
15h30-16h00 : Discussion panel (Session discutants : Eric Jenn, Frédéric Boniol)

Organization Committee : Caroline Chanel (ISAE), Jean-Loup Farges (ONERA), Jérémie Guiochet (UPS, LAAS-CNRS), Marc Pantel (ENSEEIHT, IRIT)

Registration : Registrations are now closed (June 16th), however in case of withdrawal you can register (an email will be sent to confirm you the registration) : https://forms.gle/yv3uFVGXkJmNKe5WA

1st Workshop: Trust me I am Autonomous 5th July 2019 - Toulouse, France

First TrustmeIA Workshop