top of page

Previous Editions: WAISE 2022

Fifth International Workshop on

Artificial Intelligence

Safety Engineering 


(Timezone: CEST)



Opening and welcome to WAISE 2022, Organisation Committee

Keynote Talk


Formal Methods for Trusted AI

Bettina Könighofer, Graz University of Technology, Austria


Coffee break

Session 1: AI Safety


Safe Design of Stable Neural Networks for Fault Detection in Small UAVs

Kavya Gupta, Fateh Kaakai, Beatrice Pesquet-Popescu and Jean-Christophe Pesquet


A Neural Criticality Metric for Object Detection Deep Neural Networks

Václav Diviš, Tobias Schuster and Marek Hrúz


StaDRe and StaDRo: Reliability and Robustness Estimation of ML-based Forecasting using Statistical
Distance Measures

Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat and Daniel Schneider

Session 2: Advances in Safe AI (Invited talks)




Lunch break

Session 3: Advances in Safe AI (Invited talks)


Bertrand Braunschweig


Session 4: Assurances for Autonomous Systems



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



A Novel Abstraction Framework for Neural Network Verification

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel


Logically Sound Arguments for the Effectiveness of ML Safety Measures

Chih-Hong Cheng, Tobias Schuster and Simon Burton


Coffee break

Session 5: Community Debate



Plenary Discussion "Towards the Last Mile in Engineering Safe AI Systems"

WAISE2022 Wrap Up


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 BanksDefence 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

bottom of page