Catégorie
Événement

ForMaL : DigiCosme Spring School on Formal Methods and Machine Learning

Bandeau image

ForMaL : DigiCosme Spring School on Formal Methods and Machine Learning

  • Actualités sur le même thème

Partager

twlkfbml
Chapo
ForMaL est une école de printemps sous les auspices du Labex DigiCosme avec le soutien de DATAIA. Elle se déroulera du 4 au 7 juin 2019 à l'ENS Paris-Saclay, Cachan.
Contenu
Corps de texte

De nos jours, il est de plus en plus nécessaire de fournir des garanties formelles pour les algorithmes d'apprentissage machine. Inversement, les techniques d'apprentissage machine ont été appliquées avec succès dans le domaine des méthodes formelles et, en particulier, de la vérification.

Cette école réunira des étudiants et des chercheurs seniors issus et à l'interface des méthodes formelles et de l'apprentissage machine, dans le but de créer des synergies entre ces deux domaines. Elle comprendra des conférences sur invitation, couvrant les concepts fondamentaux de l'apprentissage machine et des méthodes formelles, ainsi que des sujets plus avancés mettant en lumière les défis actuels de la recherche.

En plus des conférences proposées, nous fournirons une plateforme pour tous les participants afin qu'ils puissent présenter leurs travaux (publiés ou en cours).

Lien vers le site de l'événement 

Actualités sur le même thème
Bandeau image
fleche
Catégorie
Événement
Bandeau image
fleche
Catégorie
Événement
Bandeau image
Crédits bandeau
Jérémy Barande - École polytechnique
fleche
Catégorie
Événement