| layout |
|---|
home_original |
Held physically in Paris on July 17, 2023
WOLVERINE 2023 drew a crowd of roughly 30 participants in each session (before and after lunch)! In both sessions, the participants enjoyed excellent talks by our invited speakers on cutting-edge problems in AI and verification. To get a glimpse of the topics, the speakers kindly shared their slides: Program Synthesis by Nathanaël Fijalkow and Trusted Reinforcement Learning by Bettina Könighofer. After each session, the participants immersed themselves in round-table discussions hosted by the speakers. WOLVERINE 2023 concluded with a delicious dinner at Restaurant l'Archestrate{:target="_blank"}. We received very positive feedback, both from participants and speakers, and will bring WOLVERINE back next year. Stay tuned!
Alessio Lomuscio{:target="_blank"} (Imperial College London, UK)
Nathanaël Fijalkow{:target="_blank"} (CNRS, LaBRI, France)
Synthesis
Nils Jansen{:target="_blank"} (Radboud University Nijmegen, The Netherlands)
Safe Reinforcement Learning
Bettina Könighofer{:target="_blank"} (TU Graz, Austria)
Shielding
Daniel Neider{:target="_blank"} (TU Dortmund, Germany)
Neuro-symbolic Verification
Place: Co-located with CAV 2023{:target="_blank"} in Paris, France
Registration: CAV 2023 webpage
Workshop date: July 17, 2023