ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 32/9-10 - 2013  - pp.907-908
TITRE
INTRODUCTION

RÉSUMÉ

La théorie des jeux connaît depuis une dizaine d’années un essor important dans de nombreux domaines de l’informatique, qu’ils soient théoriques ou appliqués. Citons comme exemples l’algorithmique (enchères, mechanism design ...), la vérification de programmes, la théorie des automates, la logique, la modélisation des systèmes complexes (biologiques, internet, réseaux sociaux et routiers...), ou encore la sémantique des langages de programmation. Outre son apport indéniable à l’informatique, la théorie des jeux sait également se nourrir en retour des théories, des modèles et des problématiques développés en informatique. Depuis le début des années 2000, la communauté européenne des chercheurs en informatique fondamentale s’est fédérée autour des thèmes liés à la théorie des jeux. Citons par exemple le projet européen Games for design and verification (Games) qui a fortement contribué depuis 2002 à structurer le domaine. De ce projet, dans lequel les équipes françaises ont joué un rôle moteur, a découlé une structuration nationale dont témoigne par exemple l’activité du groupe de travail « Jeux » du GdR Informatique Mathématique, et qui regroupe une soixantaine de membres. Soulignons également sur le versant des mathématiques, l’existence du GdR « Théorie des jeux : modélisation mathématique et applications » avec lequel le groupe de travail « Jeux » a ré gulièrement l’occasion d’interagir.



AUTEUR(S)
Dietmar BERWANGER, Olivier SERRE

LANGUE DE L'ARTICLE
Français

 PRIX
GRATUIT
   
ACCÉDER A L'ARTICLE COMPLET  (13 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier