Troisième atelier international sur le choix social computationnel à Düsseldorf, en Allemagne.
Le choix social computationnel est une nouvelle discipline dans laquelle la théorie du choix social et l'informatique se rencontrent. D'une part, elle concerne l'application de techniques développées en sciences informatiques, telles que l'analyse de la complexité ou la conception d'algorithmes, ainsi que l'étude des mécanismes de choix social, notamment les procédures de vote ou les algorithmes de division équitable. D'autre part, le choix social computationnel porte sur l'importation des concepts de la théorie des choix dans l'informatique. Par exemple, l'attribution de l'aide sociale initialement développée pour analyser la qualité de l'allocation des ressources dans la société humaine s'applique tout autant aux problèmes dans les systèmes multi-agent ou la conception de réseaux.
L'objectif de cet atelier est de rassembler différentes communautés: des informaticiens s'intéressant aux questions computationnelles dans le choix social, les personnes travaillant dans les systèmes d'intelligence artificielle et multi-agents, les logiciens s'intéressant à la spécification et l'analyse basées sur la logique des procédures sociales, et les personnes issues du domaine de la théorie des choix sociaux.
L'atelier sera accompagné d'un «LogICCC Tutorial Day», agrémenté de discours de présentation générale.Pour de plus amples informations, consulter: http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/(s’ouvre dans une nouvelle fenêtre)