WOLVERINE 2021: Workshop on Open Problems in Learning and Verification of Neural Networks
18 October 2021 16:00 - Location: during ATVA 2021 (online event) | Add to my calendar
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.
More details
Registration costs
Free of charge!