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.
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.
Du 04/06/2019 (09:00) au 07/06/2019 (18:00)
Symposium
Ajouter à mon agenda
2024-04-26 21:50:40
2024-04-26 21:50:40
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 ENS-PARIS-SACLAY webmaster@ens-paris-saclay.fr Europe/Paris public
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 ENS-PARIS-SACLAY webmaster@ens-paris-saclay.fr 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.