[DMANET] Register early (until May 20) for WOLVERINE@CAV 2023 in Paris!

We are excited to announce the 3rd edition of WOLVERINE <https://wolverine-workshop.github.io/Wolverine2023/>, 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 <http://www.i-cav.org/2023/>.

WOLVERINE is a highly interactive workshop whose goal is to foster networking and active discussions with a hope to spark new interdisciplinary collaborations in formal methods, machine learning, and their intersection. The program includes an exciting line-up invited talks, roundtable discussions with the speakers, and the opportunity to present your poster.

Workshop Schedule

First hour: keynote talk by Alessio Lomuscio <https://www.imperial.ac.uk/people/a.lomuscio>.
Second hour: short invited talks. We will host four short invited talks (15-20 minutes each). Each speaker will present their area of expertise in the intersection between formal methods and AI.
Third-fourth hour: 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 their work (published or ongoing) in the third-fourth hour.

Invited speakers

Nathanaël Fijalkow <https://games-automata-play.com/> (CNRS, LaBRI, France)
 Synthesis
Nils Jansen <https://nilsjansen.org/> (Radboud University Nijmegen, The Netherlands)
 Safe Reinforcement Learning
Bettina Könighofer <https://www.iaik.tugraz.at/person/bettina-koenighofer/> (TU Graz, Austria)
 Shielding
Daniel Neider <https://rc-trust.ai/neider/> (TU Dortmund, Germany)
 Neuro-symbolic Verification

Registration cost: €80/€100 (early registration), €100/€120 (regular registration), €120/€140 (on-site registration)
Registration: conference webpage <https://cav2023.dakini-pco.com/>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************