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 (slides)

  • 10:15 -- 10:45 Coffee break

  • 10:45 -- 11:30 Invited talk: Pierre-Yves Oudeyer (slides)
  • 11:30 -- 12:15 Invited talk: Tristan Cazenave
  • 12:15 -- 12:30 Surprise talk: Véronique Ventos

  • 12:30 -- 14:30 Lunch break

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

  • 15:45 -- 16:15 Cannelés break

  • 16:15 -- 17:00 Invited talk: Céline Hocquette (slides)
  • 17:00 -- 17:45 Contributed talks: Antonio Casares, Roman Kniazev, Gustavo Magaña López

Wednesday 27

  • 09:30 -- 10:15 Invited talk: Corto Mascle (slides)

  • 10:15 -- 10:45 Coffee break

  • 10:45 -- 11:30 Invited talk: Régis Sabbadin (slides)
  • 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