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.