ForMal - DigiCosme Spring School on Formal Methods and Machine Learning
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.
Participation is free (including coffee and lunch breaks), but registration is required.
The organizers will send a confirmation mail after manual verification.