Workshop on Open Problems in Learning and Verification of Neural Networks


Held physically in Paris on July 17, 2023

Keynote

Alessio Lomuscio (Imperial College London, UK)

Round-Table Hosts

Nathanaël Fijalkow (CNRS, LaBRI, France)
Synthesis
Nils Jansen (Radboud University Nijmegen, The Netherlands)
Safe Reinforcement Learning
Bettina Könighofer (TU Graz, Austria)
Shielding
Daniel Neider (TU Dortmund, Germany)
Neuro-symbolic Verification

Important Details

Place: Co-located with CAV 2023 in Paris, France
Registration: CAV 2023 webpage
Workshop date: July 17, 2023