[Avec nos excuses pour les envois multiples. ] ******************************************************* APPEL À COMMUNICATION MODÈLES FORMELS DE L'INTERACTION (MFI'07) Paris 30 Mai--01 Juin 2007 http://www.lamsade.dauphine.fr/~maudet/mfi07/ ******************************************************* Suite aux succès des trois premières éditions tenues à Toulouse (2001) Lille (2003), et Caen (2005), les quatrièmes journées francophones sur les Modèles Formels de l'Interaction (MFI) auront lieu du 30 Mai au 1er Juin à Paris (Univ. Paris-Dauphine). ---------------------------------------------------------------------- DOMAINE SCIENTIFIQUE ET OBJECTIFS ---------------------------------------------------------------------- L'interactivité est une tendance majeure des systèmes informatiques actuels et un champ de recherche important. Elle se décline sous plusieurs aspects: o interaction entre utilisateurs et systèmes informatiques; o interaction entre entités informatiques autonomes (agents) interconnectées sur un réseau local ou sur la "toile", en vue de coopérer, de concourir ou tout simplement de coexister; o sans oublier l'intégration de ces deux aspects dans les divers agents conversationnels, agents de recherche, assistants personnels... Ces tendances sont à l'origine d'un besoin croissant de modèles formels de l'interaction, intégrant les règles, normes et protocoles divers, ainsi que les connaissances spécifiques des agents (en particulier sur les autres agents --humains ou artificiels-- et leurs comportements). Ces modèles doivent permettre de concevoir, spécifier, valider et contrôler de tels agents coopératifs et communicationnels. Le but de ces journées est de rassembler des chercheurs de différentes communautés scientifiques (informatique, économie, psychologie cognitive, linguistique, sociologie, etc.) ayant en commun la volonté de formaliser tel ou tel aspect de l'interaction entre agents artificiels ou/et humains. Plus que jamais, les journées se veulent un point de rencontre entre les chercheurs des toutes les disciplines oeuvrant dans le domaine. Pour ces raisons, au vu d'une analyse de l'importance croissante du thème de l'interaction dans les systèmes informatiques ouverts qui se dessinent aujourd'hui, il paraît opportun de rassembler et d' affirmer une communauté spécifique, particulièrement une communauté francophone. ---------------------------------------------------------------------- THEMATIQUES ---------------------------------------------------------------------- Les thématiques de recherche visées peuvent se regrouper dans les items (non limitatifs) suivants: o raisonnement sur les croyances: logiques épistémiques, doxastiques, logiques de l'incertain, révision de croyances; o formalisation logique des actions, plans, préférences et intentions; o modèles formels et computationnels pour la programmation d'agents rationnels, robotique cognitive; o modèles formels de la rationalité limitée; o modèles économiques de la décision et de l'interaction: théorie de la décision, choix social, théorie des jeux; o représentation et élicitation des préférences; o aspects algorithmiques de la décision individuelle, collective, ou distribuée; planification; processus de décision stochastiques; o résolution distribuée et coopérative de problèmes: coordination et coopération, allocation de tâches et de ressources; o modèles formels du dialogue, de l'argumentation, et de la négociation; o aspects langagiers de l'interaction: sémantique et pragmatique des actes de langage, pragmatique du dialogue et des conversations, sémantique des modalités; o aspects cognitifs de la décision et de l'interaction; o aspects sociaux de l'interaction: spécification de normes sociales, de droits et d'obligations, d'organisations collectives; modèles de la confiance et de la réputation. Ces thématiques pourront être traitées sous l'angle des modèles formels eux-mêmes, tels qu'évoqués plus haut, ou sous celui du développement d'applications concrètes, notamment dans l'univers industriel, faisant apparaître clairement le recours à ces méthodes, tels que les domaines suivants : o interfaces homme-machine, agents d'interface; o e-commerce, recherche d'information; o gestion de ressources et ordonnancement; o applications géographiquement distribuées (comme le contrôle aérien ou routier) ---------------------------------------------------------------------- FORME DU COLLOQUE ---------------------------------------------------------------------- Le colloque sera organisé dans un esprit d'atelier laissant une grande part aux échanges entre participants. Il comprendra la présentation de contributions sélectionnées par le comité de programme en réponse à cet appel, ainsi que des conférences invitées de type "synthèse" (et éventuellement des tutoriels) permettant d'appréhender une grande problématique de recherche. ---------------------------------------------------------------------- SOUMISSIONS ET PUBLICATION ---------------------------------------------------------------------- Les propositions de communications d'une longueur de 15 pages maximum devront être rédigées en Français ou en Anglais. Elles devront impérativement être soumises via le site web de la conférence, avant ***le 30 Janvier 2007*** Si jamais, vous devez pour une raison ou une autre envoyer une version par le courrier classique, envoyez-là à l'adresse suivante : Jérôme Lang IRIT Université Paul Sabatier 118 route de Narbonne F-31062 Toulouse Cedex 4 (France) Des actes seront publiés et distribués aux participants. ---------------------------------------------------------------------- COMITE DE PROGRAMME ---------------------------------------------------------------------- Présidents : Jérôme Lang, Yves Lespérance, David Sadek ---------- Comité de Programme : (en cours de constitution) -------------------- ---------------------------------------------------------------------- COMITE D'ORGANISATION ---------------------------------------------------------------------- Président : N. Maudet --------- Membres : ------- G. Bourgne Y. Chevaleyre S. Estivie A. Machado W. Ouerdane J. Saunier ---------------------------------------------------------------------- CALENDRIER ---------------------------------------------------------------------- * 30 janvier 2007 : Réception des contributions * 05 mars 2007 : Notification d'acceptation * 05 avril 2007 : Remise des articles pour publication dans les actes. * 30 Mai--1er Juin 2007 : Colloque MFI07 à Paris