We are excited to invite you to the highly interactive virtual WOLVERINE 2021: “Workshop on Open Problems in Learning and Verification of Neural Networks”, which will be held on Monday, October 18, during ATVA 2021.

The goal of WOLVERINE is to foster networking and active discussions with a hope to spark new interdisciplinary collaborations. WOLVERINE welcomes researchers in formal methods, machine learning, and their intersection.

Workshop Schedule

First hour: keynote talk. given by Prof. Sheila McIlraith.
Second hour: short invited talks. We will host 5 short invited talks (10-15min each). Each speaker will present their area of expertise in the intersection between formal methods and AI.
Third hour: round tables. Each speaker from the previous session will host a (virtual) table and moderate a discussion on the topic of his/her choice: we will discuss the challenges and open problems in the field and discuss novel approaches to tackle these challenges.
Fourth hour: poster session. Participants are invited to present their work (published or ongoing) in a poster session on Gather.town.

We have a terrific line-up of invited speakers:

Sheila McIlraith (University of Toronto, Canada): Keynote speaker.
Matthijs Spaan (TU Delft, The Netherlands): Safe Reinforcement Learning.
Ofra Amir (Technion, Israel): Explainable Artificial Intelligence.
Guy Katz (Hebrew University, Israel): Robustness.
Markus Rabe (Google): Neurosymbolic Methods.
Aws Albarghouthi (University of Wisconsin–Madison, USA): Fair Machine Learning.

More details: workshop webpage

Registration costs: free of charge!

Registration: conference webpage

Looking forward to seeing you on October 18!

Kind regards,
Anna Lukina, Guy Avni, Mirco Giacobbe, Christian Schilling