Menu:

Réunion 2009 des groupes de travail "Jeux" et CMF


Programme

La réunion annuelle 2009 des groupes de travail "Jeux" et "CMF" se tiendra du 2 au 5 juin 2008, le programme est disponible ici.

Le programme des journées "CMF" inclut des exposés invité d'Anuj Dawar (University of Cambridge) intitulé "Model-Checking First-Order Logic: Automata and Locality" et Sasha Rubin intitulé "A Survey of Automatic Structures".

Le programme des journées "Jeux" inclut un exposé invité de Marcin Jurdziński (Warwick University)
intitulé "Optimality equations and strategy improvement for solving games on timed and hybrid automata"
ainsi qu'un exposé invité de Jérôme Renault (CEREMADE, Université Paris Dauphine).


Infos pratiques

Le déjeuner du lundi 2 juin est prevu a 12h30 au Haut Carré. Sur ce plan , le Haut-Carré est le bâtiment C4 et le LaBRI est le batiment A30. L'accueil se fera au LaBRI entre 12h et 12h20, devant l'amphi du rez-de-chaussée (entrée avec une rampe). Ceux qui arrivent en retard peuvent nous rejoindre directement au Haut-Carré.

Lunch on Monday 2nd is scheduled at 12:30 at Haut-Carre (building C4 on this plan LaBRI corresponds to A30). We will wait on you in LaBRI between 12 a.m. and 12:20, in front of the Amphi (ground floor, entrance with a rampant). Those who arrive late can join us directly at the Haut-Carre.

Les déjeuners sont pris en charge par les GT.

Voilà un plan d'accès au LaBRI.

Une liste d'hôtels.
Une autre liste d'hôtels, établie à l'occasion de la conférence STACS'08.
Il existe également une résidence hôtelière (appartements avec petit-déjeuner), proche de l'université et réservée aux universitaires: le Cercle des universitaires.

Pour tout renseignement supplémentaire, vous pouvez contacter anca@labri.fr ou hugo.gimbert@labri.fr, en précisant "gdr-im-jeux" dans le sujet du mail.


Dates

Le groupe de travail "Jeux" organise sa première réunion annuelle les mercredi 4 et jeudi 5 juin 2008 au LaBRI, à Bordeaux.
Cette réunion a lieu conjointement avec la réunion du GT "Modèles de calcul, modèles finis et complexité" qui se tiendra du lundi 2 juin au mercredi 4 juin.
La matinée du 4 juin est commune aux deux groupes de travail. Les journées "CMF" commenceront le lundi midi et les journées "Jeux" prendront fin le jeudi midi.


Participants

Nom et prénomInstitutionInscriptionExposé
BRUNO COURCELLE LABRI CMFoui
Etienne Grandjean Université de Caen CMFnon
David Duris Labo logique, Paris 7 CMFoui
Rémi Brochenin LSV, CNRS & ENS Cachan CMFoui
Mamadou Kanté Université Bordeaux 1, LaBRI CMFnon
Thomas Place LSV CMFoui
Anca Muscholl Labri CMF et Jeuxpeut-etre
Luc Segoufin INRIA+LSV CMF et Jeuxpeut-etre
Hugo Gimbert Labri CMF et Jeuxoui
David Janin LaBRI CMF et Jeuxpeut-etre
Arnaud Durand Logique, Paris 7 CMF et Jeuxpeut-etre
Florent Madelaine LAIC, université d'Auvergne CMF et Jeuxpeut-etre
Malika More LAIC Université Clermont 1 CMF et Jeuxpeut-etre
Marc Zeitoun LaBRI CMF et Jeuxpeut-etre
Julien Bernet LaBRI CMF et Jeuxnon
Barnaby Martin Durham University et LAIC, Universite d'Auvergne CMF et Jeuxpeut-etre
Mathieu Tracol LRI Orsay CMF et Jeuxoui
jerome leroux CNRS / LaBRI CMF et Jeuxnon
etienne lozes LSV, ENS Cachan CMF et Jeuxnon
Igor Walukiewicz LaBRI, CNRS Bordeaux CMF et Jeuxnon
Michel de Rougemont Univ Paris II CMF et Jeuxpeut-etre
Assalé Adjé Ecole Polytechnique CMF et Jeuxpeut-etre
patrick chervet Labri CMF et Jeuxnon
Vince Barany Université Bordeaux 1, LaBRI CMF et Jeuxnon
Rubin Sasha University of Auckland CMF et Jeuxoui
Alexander Heußner LaBRI CMF et Jeuxnon
Omer Nguena Timo Université Bordeaux 1, LaBRI CMF et Jeuxnon
Anuj Dawar Cambridge CMF et Jeuxoui
Vigeral Guillaume Jeux non
Nathalie Bertrand INRIA Rennes Jeuxpeut-etre
Anne Dicky LaBRI Jeuxnon
Florian Horn CNRS - LIAFA Jeuxpeut-etre
Olivier Teytaud TAO (Inria, Cnrs, Lri, Paris Sud, Digiteo, Pascal) Jeuxoui
Jérôme Renault Ceremade, Université Paris-Dauphine Jeuxpeut-etre
Chahinez Hamlaoui Laboratoire PRiSM- Université de Versailles Jeuxoui
Olivier Serre LIAFA Jeuxoui
sylvain sorin UPMC Paris 6 Jeuxoui
Sophie Pinchinat IRISA Jeuxpeut-etre
Dietmar Berwanger RWTH Aachen Jeuxoui
Vincent Gripon LIAFA Jeuxnon
Blaise Genest IRISA/CNRS Jeuxpeut-etre
Julien Cristau LIAFA Jeuxoui
Paul Gastin LSV, ENS Cachan Jeuxnon
Thomas Chatain LSV Jeuxnon
Nathalie Sznajder LSV, ENS Cachan Jeuxnon
Walid BELKHIR Université de Provence Jeuxnon
Philippe Rannou ENS Cachan, Ker-Lann Jeuxnon
Marcin Jurdzinski Warwick University Jeuxoui