Registration
You would like to participate to this event
Register

ForMal - DigiCosme Spring School on 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.

In addition to the invited talks, we will provide a platform for all participants to present their (published or ongoing) work. Submission instructions can be found below.
Amphi Chemla, ENS Paris-Saclay
Add to my Calendar06/04/2019 9:00am 06/07/2019 6:00pm ForMal - DigiCosme Spring School on Formal Methods and Machine Learning Amphi Chemla, ENS Paris-Saclay Europe/Paris public

Participation is free (including coffee and lunch breaks), but registration is required.

The organizers will send a confirmation mail after manual verification.