La synthèse de programme est une famille de problèmes dont l'objectif est de construire automatiquement un programme (modèle formel) à partir d’une spécification.
L'objectif de ces journées est d'avoir un aperçu de différentes techniques développées pour la synthèse de programmes par plusieurs communautés : vérification de programmes, logique, planification, apprentissage, apprentissage par renforcement, etc.
Ces journées sont organisées dans le cadre de et financées par les GDR-IFM et GDR-RADIA.
L'inscription est gratuite, mais obligatoire.