Summit on Machine Learning Meets Formal Methods – Register!

Registration for FLoC is open, which means you can now register for the Summit on Machine Learning Meets Formal Methods.

The Summit, supported by The Alan Turing Institute, will bring together academic and industrial leaders from NVIDIA, Google, DeepMind and Microsoft, who will discuss the benefits and risks of machine learning solutions.  In addition to presentations from these leaders, there will also be a panel discussion focused on the role that formal methods can play in ensuring safety of AI and machine learning.

Further information

For more information, including confirmed speakers, abstracts, and how to register, visit the Summit’s dedicated webpage here.