Workshop on Open Problems in Learning and Verification of Neural Networks


Virtually on October 18, 2021!

Keynote

Sheila McIlraith

Round-Table Hosts

Ofra Amir

Guy Katz

Markus Rabe

Matthijs Spaan

Aws Albarghouthi

Important Dates

Call for participation: Coming soon!

Registration deadline: Coming soon!

Workshop date: 18 October 2021