Menu:

Nouvelles:

Septembre 2012
Réunion annuelle du GT Jeux à Cachan, du 20 au 21 septembre.

Plus de renseignements...

Septembre 2012
Réunion annuelle du projet européen GAMES II à Naples, du 7 au 12 septembre.

Plus de renseignements...

Septembre 2011
Conférence "Mathematical Aspects of Game Theory and Applications" organisée par le GDR 2932 "Théorie des Jeux" à la Toulouse School of Economics du 12 au 16 septembre.

Plus de renseignements...

Septembre 2011
Réunion annuelle du projet européen GASICS à Aachen, le 10 septembre 2011.

Plus de renseignements...

Septembre 2011
Réunion annuelle du projet européen GAMES II à Paris, du 31 août au 3 septembre 2011.

Plus de renseignements...

Mai 2011 L'école de printemps GAMES-EPIT aura lieu à Carcans-Maubuisson du 23 au 27 Mai 2011.

Plus de renseignements...

07 janvier 2011 Les Journées Nationales d'Informatique Mathématique auront lieu les 20 et 21 janvier 2011 à l'Université Paris 6 (Jussieu, Amphi Durand).

Le programme...

31 août 2010 Réunion annuelle du groupe de travail Jeux à Chevaleret, les 25 et 26 octobre 2010.

Plus de renseignements...

26 mai 2010
Réunion annuelle du projet européen GAMES II à Oxford, du 20 au 23 septembre 2010.

Plus de renseignements...

10 et 11 mai 2010
Journées "Jeux stochastiques" au LaBRI les 10 et 11 mai réunissant le LIAFA, LaBRI, CECO et GREMAQ.

1er juillet 2009
Réunion annuelle du projet européen GAMES II à Udine, Italy, du 14 au 17 septembre.

Plus de renseignements...

13 mars 2009
Le GdR "Théorie des Jeux" organise une conférence internationale du 4 au 8 Mai au CIRM à Luminy.

Plus de renseignements...

14 janvier 2009
Le GdR "Théorie des Jeux : Modélisation Mathématique et Applications"organise 18/02/09 une journée «Théorie des Jeux et Informatique» à Chevaleret

Site de l'évènement...

24 octobre 2008
L'école de printemps "GAMES Spring School 2009", organisée par l'"ESF Research Networking Programme" aura lieu du 31 mai au 6 juin 2009 à Bertinoro, Italie.

Site de l'école de printemps...

Groupe de travail "Jeux"

Le groupe de travail "Jeux" fait partie du GdR Informatique et Mathématiques.

Équipes Impliquées

Le GdT "Jeux" réunit des membres de plusieurs laboratoires: le CEREMADE, l'IGM, l'INRIA Futurs, l'IRCCYN, l'IRISA, le LABRI, le LIAFA, le LIF, le LORIA, le LSV et la Toulouse School of Economics.

Reunions

La réunion annuelle 2010 du Gdt "Jeux" a eu lieu à Chevaleret les 25 et 26 octobre 2010. Toutes les infos sur la page web.

Le Gdt "Jeux" organise deux jours de réunion au LaBRI, les 10 et 11 mai 2010 sur le thème des jeux stochastiques. Ces journées réunissent des chercheurs en informatique et en mathématique (CECO,GREMAQ, LIAFA, LaBRI) qui travaillent sur le thème des jeux stochastiques.

Le GdR "Théorie des Jeux : Modélisation Mathématique et Applications" et le groupe de travail "Jeux" du GdR "Informatique Mathématiques" organisent le mercredi 18 février 2009 une journée «Théorie des Jeux et Informatique» à Chevaleret, toutes les infos.

La réunion 2008 du GdT "Jeux" s'est tenue les mercredi 4 et jeudi 5 juin 2008, au LaBRI. Elle était co-organisée avec les journéees du GdT "CMF" qui se sont tenues les 2,3 et 4 juin.

Contact

Pour faire partie de ce groupe de travail ou pour des infos, envoyez un mail à Anca Muscholl, à l'adresse anca@labri.fr.

Si vous êtes déjà inscrit(e) au GdT "Jeux", vous pouvez envoyer un mail à l'ensemble des membres du GdT en envoyant votre message à gt-jeux@gdr-im.fr.

Jeux et vérification

Les jeux sont un formalisme mathématique puissant pour la vérification formelle de programmes. L'informatique moderne est passée des systèmes fermés (des processeurs isolés) aux systèmes ouverts (en réseaux, sur le web,...). Les applications actuelles s'assimilent désormais à des communautés concertantes d'agents interactifs, qui évoluent de manière indépendante et concurrente. La théorie des jeux concerne précisément l'étude des interactions entre agents indépendants et est l'outil incontournable pour maîtriser ce cadre ouvert, où chaque composant logiciel agit de concert dans un environnement imprévisible.

Dans ce cadre, spécifier un programme revient à définir formellement un jeu ; tandis que vérifier que le programme satisfait la spécification revient à vérifier que la stratégie est gagnante dans le jeu défini par la spécification. Une question plus difficile consiste à synthétiser un programme qui se comporte bien vis-à-vis d'une spécification donnée, quelque soit le comportement de l'environnement. Ce problème de synthèse automatique est reformulable en terme de jeux: il s'agit de calculer une stratégie gagnante dans le jeu défini par la spécification – ceci afin d'en déduire le programme synthétisé. On peut vouloir aussi contrôler un programme existant afin de satisfaire une spécification donnée (quelque soit le comportement de l'environnement). Dans ce cas, le contrôleur est une stratégie gagnante qui représente le programme valide dans le fragment du jeu exploré par le programme initial.

En fonction du type de système modélisé, différentes classes de jeux sont disponibles. Par exemple les jeux stochastiques permettent de prendre en compte les évènements aléatoires, contrairement aux jeux sur des graphes qui sont purement déterministes. De même la façon dont les agents interagissent dans le temps peut varier: temps discret, réel ou continu, qui correspondent aux jeux dynamiques, temporisés et différentiels. Également le type d'objectif des joueurs peut varier - jeux d'accessibilité, jeux de parité, jeux à paiements - ainsi que l'accès des joueurs à l'information, selon les cas on considérera les jeux à information complète, les jeux concurrents, les jeux à observation partielle ou les jeux distribués. De nombreuses questions algorithmiques concernant ces différents types de jeux sont encore ouvertes.

Automates et rationalité limitée

Un système informatique dispose de ressources limitées, que ce soit en temps de calcul ou en espace mémoire. Ce constat motive l'étude des jeux où les joueurs sont limités dans le calcul des conséquences de leurs actions, et dans la complexité des stratégies qu'ils peuvent employer.

Les agents économiques disposent également de ressources limitéees, ce qui a motivé les économistes et les théoriciens des jeux à introduire et étudier la notion de rationalité limitée. Dans ces travaux, l'outil principalement employé pour formaliser la notion de rationalité limitée est bien connu des informaticiens: il s'agit des automates finis.

D'un côté, les informaticiens ont très largement exploré, pour différentes classes de jeux, les questions de la calculabilité et de la complexité des stratégies optimales. De l'autre, les économistes et les théoriciens des jeux ont eux principalement étudié le rôle de la rationalité limitée dans l'émergence d'équilibres coopératifs dans les jeux répétés à somme non-nulle.

L'utilisation des automates finis comme modèles de la rationalité limitée ouvre de nombreuses questions, qui n'ont été que peu envisagées sous l'angle de la théorie des automates et de l'informatique fondamentale.