Riad Akrour
- Programming Markovian Policies by Human Feedback
- webpage
| CARVIEW |
Select Language
HTTP/2 200
strict-transport-security: max-age=31536000
vary: Authorization,Accept-Encoding
last-modified: Mon, 23 Dec 2024 06:15:32 GMT
accept-ranges: none
content-encoding: gzip
content-length: 2595
content-type: text/html
date: Mon, 19 Jan 2026 04:35:16 GMT
server: Apache
Synthesis
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.
Benedikt Bollig
Tristan Cazenave
François Fages
Céline Hocquette
Corto Mascle
Pierre-Yves Oudeyer
Régis Sabbadin
GDR-IFM et GDR-RADIA
Journées Synthèse de Programmes
26 / 27 Novembre 2024
LaBRI, Bordeaux
Présentation
Formulaire d'inscription
Orateurs invités
Riad Akrour
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
