WOLVERINE 2021: Workshop on Open Problems in Learning and Verification of Neural Networks

18 October 2021 16:00 - Location: during ATVA 2021 (online event)

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.

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.

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

Registration costs

Free of charge!