Presentations

Monday, 11 January 2021 - Industrial challenges

Presentations for day 1 were live and available here

• Aerospace: Romaric Redon (Airbus)

• Aviation certification: Guillaume Soudain (EASA; European Union Aviation Safety Agency)

• Automotive: Vahid Hashemi (Audi)

• AI legislation: Mireille Hildebrandt (VUB Brussels)

Tuesday, 12 January 2021 - Empirical robustness

Review on Adversarial ML: Adam Dziedzic

Live demo:

• Beat Buesser / Mathieu Sinn: IBM Adversarial Robustness Toolbox - Live talk / demo.

Access to presentations on "Empirical Robustness": here

Wednesday, 13 January 2021 - Formal robustness

Review on formal methods for AI robustness: Caterina Urban

Live Demos:

• Aleksandar Zeljic: Formal methods for neural network verification (live presentation / demo)

• Huang Zhang: Demonstration of auto_LiRPA

Access to presentations on "Formal Robustness": here