ML 2018 - Summit on Machine Learning Meets Formal Methods

This seminar seeks to bring together members of two communities:
The community that works on machine learning, both on theoretical topics and on applications to areas such as robotics and cyber-physical systems, and
The community that works on formal methods, both on computational proof techniques and on applications to formal verification and program/controller synthesis.