We would be happy to see you at our 3rd edition of WOLVERINE, the Workshop on Open Problems in Learning and Verification of Neural Networks, which will be held on Monday, July 17, co-located with CAV 2023.

WOLVERINE is a highly interactive workshop whose goal is to foster networking and active discussions to spark interdisciplinary collaborations in formal methods and machine learning. The program includes an exciting line-up of invited talks, round-table discussions with the speakers, and the opportunity to present posters.

Workshop Schedule

Keynote talk by Alessio Lomuscio (Imperial College, UK)
Short invited talks by
Nathanaël Fijalkow (CNRS, LaBRI, France)
Nils Jansen (Radboud University Nijmegen, The Netherlands)
Bettina Könighofer (TU Graz, Austria)
Daniel Neider (TU Dortmund, Germany)
Round tables. Each speaker from the previous session will host a table and moderate a discussion on challenges and open problems in the field and on novel approaches to tackle them.
Poster session. Participants are invited to present a poster with their (published or ongoing) work.

Registration cost: €80/ €100 (early registration), €100/€120 (regular registration), €120/€140 (on-site registration)
Registration: conference webpage