Previous Editions: WAISE 2022
Fifth International Workshop on
Artificial Intelligence
Safety Engineering
Programme.
(Timezone: CEST)
​09:00-09:15
Opening and welcome to WAISE 2022, Organisation Committee
Keynote Talk
​09:15-10:30
Formal Methods for Trusted AI
Bettina Könighofer, Graz University of Technology, Austria
​10:30-11:00
Coffee break
Session 1: AI Safety
​11:00-11:20
Safe Design of Stable Neural Networks for Fault Detection in Small UAVs
Kavya Gupta, Fateh Kaakai, Beatrice Pesquet-Popescu and Jean-Christophe Pesquet
​11:20-11:40
A Neural Criticality Metric for Object Detection Deep Neural Networks
Václav Diviš, Tobias Schuster and Marek Hrúz
​11:40-12:00
Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat and Daniel Schneider
Session 2: Advances in Safe AI (Invited talks)
​12:00-12:15
​12:15-12:30
Fredrik Heintz
​12:30-13:30
Lunch break
Session 3: Advances in Safe AI (Invited talks)
​13:30-13:45
Bertrand Braunschweig
​13:45-14:00
SESAME: Secure and Safe Multi-Robot Systems
Simos Gerasimou
Session 4: Assurances for Autonomous Systems
​14:00-14:20
​14:20-14:40
A Safety Assurable Human-Inspired Perception Architecture
Rick Salay and Krzysztof Czarnecki
Object Detection With Probabilistic Guarantees: a Conformal Prediction Approach
Florence de Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet
and David Vigouroux
​14:40-15:00
A Novel Abstraction Framework for Neural Network Verification
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel
​15:00-15:15
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Chih-Hong Cheng, Tobias Schuster and Simon Burton
​15:15-15:45
Coffee break
Session 5: Community Debate
​15:45-16:45
​16:45-17:00
Plenary Discussion "Towards the Last Mile in Engineering Safe AI Systems"
WAISE2022 Wrap Up
Committees.
Organization Committee
-
Orlando Avila-García, Arquimea Reserch Center, Spain
-
Mauricio Castillo-Effen, Lockheed Martin, USA
Chih-Hong Cheng, DENSO, Germany -
Zakaria Chihani, CEA LIST, France
-
Simos Gerasimou, University of York, UK
Programme Committee
-
Rob Alexander, University of York, UK
-
Vincent Aravantinos, Autonomous Intelligent Driving GmbH, Germany
-
Alec Banks, Defence Science and Technology Laboratory, UK
-
Markus Borg, RISE SICS, Sweden
-
Simon Burton, IKS Fraunhofer, DE
-
Radu Calinescu, University of York, UK
-
Carmen Carlan, Edge Case Research GmbH, Germany
-
Raja Chatila, ISIR - Sorbonne University, France
-
Huascar Espinoza, KDT JU, Belgium
-
John Favaro, INTECS, Italy
-
Jérémie Guiochet, LAAS-CNRS, France
-
Vahid Hashemi, Audi, Germany
-
Nico Hochgeschwende, Bonn-Rhein-Sieg University, Germany