Ci-dessous le programme des  journées Jeux-CMF.
| Jour | Orateur | Titre | Heure Début | Heure Fin | 
|---|---|---|---|---|
| Lundi | ||||
| Déjeuner | 12h30 | |||
| Sasha Rubin | An introduction to Automatic Structures | 14h | 15h30 | |
| Pause | ||||
| David Duris | Acyclicité d'hypergraphes et théorèmes de préservation par extension | 16h00 | 16h45 | |
| Malika More | Update on the spectrum arity questions | 16h45 | 17h15 | |
| Arnaud Durand | Évaluation de requêtes et énumération de solutions | 17h15 | 18h | |
| Mardi | ||||
| Anuj Dawar | Model-Checking First-Order Logic: Automata and Locality | 09h30 | 11h | |
| Pause | ||||
| Bruno Courcelle | Résolution de requêtes du premier ordre et du second-ordre monadique au moyen d'étiquettes de taille O(log(n)) ou O(log ^2(n)). | 11h30 | 12h30 | |
| Déjeuner | ||||
| Thomas Place | Effective characterization of logics over ranked trees | 14h30 | 15h15 | |
| Remi Brochenin | On Separation Logic with one selector | 15h15 | 16h00 | |
| Pause | ||||
| Florent Madelaine | QCSP containment | 16h30 | 17h15 | |
| Martin Barnaby | QCSP entailment | 17h15 | 18h00 | |
| Mercredi | ||||
| Michel de Rougemont | Approximate Nash Equilibria for Multi-player Games | 09h30 | 10h00 | |
| Dietmar Berwanger | Strategy Construction for Parity Games with Imperfect Information | 10h00 | 10h30 | |
| Pause | ||||
| Mathieu Tracol | Statistiques sur les mots générés par un MDP | 11h00 | 11h30 | |
| Olivier Teytaud | Planification à base de bandits pour les jeux | 11h30 | 12h00 | |
| Déjeuner | ||||
| Jérôme Renault | Stratégies pures à mémoire bornée dans les jeux répétés avec signaux | 13h30 | 15h00 | |
| Sylvain Sorin | Procedures consistantes en temps discret et continu | 15h00 | 15h30 | |
| Pause | ||||
| Sophie Pinchinat | Intended Objectives | 16h00 | 16h30 | |
| Chahinez Hamlaoui | Transit prices negotiation: decentralized learning of optimal strategies with incomplete information | 16h30 | 17h00 | |
| Guillaume Vigeral | Jeux répétés et opérateurs contactants | 17h00 | 17h30 | |
| Julien Cristau | Jeux de longueur ordinale | 17h30 | 18h00 | |
| Jeudi | ||||
| Marcin Jurdzinski | Optimality equations and strategy improvement for solving games on timed and hybrid automata | 09h00 | 10h30 | |
| Florian Horn | Synthèse de stratégies optimales pour les jeux Requète-Réponse | 10h30 | 10h45 | |
| Nathalie Bertrand | Games on Lossy Channel Systems | 10h45 | 11h15 | |
| Pause | ||||
| Olivier Serre | Jeux sur des automates effondrants | 11h30 | 12h00 | |
| Hugo Gimbert | Jeux à plusieurs taux d'escompte | 12h00 | 12h30 | |
| Déjeuner | 
Retour à la page d'accueil des journées Jeux/CMF.