Ci-dessous le programme des journées Jeux-CMF.

JourOrateurTitreHeure DébutHeure Fin
Lundi
Déjeuner12h30
Sasha RubinAn introduction to Automatic Structures14h15h30
Pause
David DurisAcyclicité d'hypergraphes et théorèmes de préservation par extension 16h0016h45
Malika MoreUpdate on the spectrum arity questions16h4517h15
Arnaud DurandÉvaluation de requêtes et énumération de solutions17h1518h
Mardi
Anuj DawarModel-Checking First-Order Logic: Automata and Locality09h3011h
Pause
Bruno CourcelleRé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)).11h3012h30
Déjeuner
Thomas PlaceEffective characterization of logics over ranked trees 14h3015h15
Remi BrocheninOn Separation Logic with one selector 15h1516h00
Pause
Florent Madelaine QCSP containment 16h3017h15
Martin Barnaby QCSP entailment 17h1518h00
Mercredi
Michel de RougemontApproximate Nash Equilibria for Multi-player Games09h3010h00
Dietmar BerwangerStrategy Construction for Parity Games with Imperfect Information10h0010h30
Pause
Mathieu TracolStatistiques sur les mots générés par un MDP11h0011h30
Olivier Teytaud Planification à base de bandits pour les jeux11h3012h00
Déjeuner
Jérôme RenaultStratégies pures à mémoire bornée dans les jeux répétés avec signaux13h3015h00
Sylvain SorinProcedures consistantes en temps discret et continu15h0015h30
Pause
Sophie PinchinatIntended Objectives16h0016h30
Chahinez HamlaouiTransit prices negotiation: decentralized learning of optimal strategies with incomplete information16h3017h00
Guillaume VigeralJeux répétés et opérateurs contactants17h0017h30
Julien CristauJeux de longueur ordinale17h3018h00
Jeudi
Marcin JurdzinskiOptimality equations and strategy improvement for solving games on timed and hybrid automata09h0010h30
Florian HornSynthèse de stratégies optimales pour les jeux Requète-Réponse10h3010h45
Nathalie BertrandGames on Lossy Channel Systems10h4511h15
Pause
Olivier SerreJeux sur des automates effondrants11h3012h00
Hugo GimbertJeux à plusieurs taux d'escompte12h0012h30
Déjeuner



Retour à la page d'accueil des journées Jeux/CMF.