First edition of Formal Methods and Machine Learning.

Nowadays, there is an increasing need for providing formal guarantees for machine-learning algorithms. Conversely, machine learning techniques have been successfully applied in the realm of formal methods and, in particular, verification.

This school will bring together student and senior researchers from, and at the interface of, formal methods and machine learning, with the aim to create synergies between them. It will feature invited lectures, covering fundamental concepts in machine learning and formal methods, as well as more advanced topics highlighting current research challenges.