Workshop on Open Problems in Learning and Verification of Neural Networks


Virtually on October 18, 2021!

Keynote

Sheila McIlraith

Round-Table Hosts

Matthijs Spaan

Ofra Amir

Guy Katz

Markus Rabe

Aws Albarghouthi

Important Details

Registration: conference webpage

Workshop date: 18 October 2021