Journées « Synthèse de programmes » des GDR IFM et RADIA
26 novembre, 2024 - 27 novembre, 2024
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 (https://www.gdr-ifm.fr) et RADIA (https://gdr-radia.cnrs.fr).
Le programme sera composé de 7 exposés invités
– Riad Akrour (Inria Lille)
– Benedikt Bollig (CNRS, LMF)
– Tristan Cazenave (Université Paris Dauphine-PSL, LAMSADE)
– François Fages (Inria Saclay)
– Céline Hocquette (Univ Oxford)
– Pierre-Yves Oudeyer (Inria Bordeaux)
– Régis Sabbadin (Inrae, MIAT)
et d’exposés courts contribués par les participants.
Nous vous invitons à vous inscrire et proposer un exposé court avec le lien suivant :
https://framaforms.org/journees-synthese-de-programme-2024-1725456681