26 / 27 Novembre 2024

LaBRI, Bordeaux

Présentation
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.

Formulaire d'inscription

Orateurs invités

Riad Akrour

  • Programming Markovian Policies by Human Feedback
  • webpage

Benedikt Bollig

  • Automata Learning for Streaming Data
  • webpage

Tristan Cazenave

  • Utiliser l'IA pour améliorer l'IA
  • webpage

François Fages

  • Local vs global approaches to learning reaction systems from traces: algorithms, failures and theorems
  • webpage

Céline Hocquette

  • Efficient synthesis of logic programs through problem decomposition
  • webpage

Corto Mascle

  • Distributed Synthesis through Games
  • webpage

Pierre-Yves Oudeyer

  • Autotelic Curiosity-driven LLMs that Self-improve their Coding Skills
  • webpage

Régis Sabbadin

  • Single and multi agent reinforcement learning algorithms to synthetize agents behaviour: Two examples in life science
  • webpage

Programme (preliminary!)

Tuesday 26

  • 09:30 -- 10:15 Invited talk: Riad Akrour

  • 10:15 -- 10:45 Coffee break

  • 10:45 -- 11:30 Invited talk: Pierre-Yves Oudeyer
  • 11:30 -- 12:15 Invited talk: Tristan Cazenave

  • 12:30 -- 14:30 Lunch break

  • 14:30 -- 15:15 Invited talk: François Fages
  • 15:15 -- 15:45 Contributed talks: Théo Matricon, Tony Ribeiro

  • 15:30 -- 16:00 Cannelés break

  • 16:00 -- 16:45 Invited talk: Céline Hocquette
  • 16:30 -- 17:00 Contributed talks: Antonio Casares, Roman Kniazev

Wednesday 27

  • 09:30 -- 10:15 Invited talk: Corto Mascle

  • 10:15 -- 10:45 Coffee break

  • 10:45 -- 11:30 Invited talk: Régis Sabbadin
  • 11:30 -- 12:15 Invited talk: Benedikt Bollig

  • 12:15 -- 14:00 Farewell lunch

  • 14:00 -- 18:00 Open unorganised small group discussions

Organisateurs

François Schwarzentruber

Soutien
GDR-IFM et GDR-RADIA