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