top of page


(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

bottom of page