******************************************************* APPEL À COMMUNICATION DERNIERE ANNONCE +------------------------------------------------------------+ | REPORT DE LA DATE LIMITE DE SOUMISSION AU 21 DECEMBRE 2002 | +------------------------------------------------------------+ MODÈLES FORMELS DE L'INTERACTION (MFI'03) LILLE 20--22 mai 2003 http://www.lifl.fr/mfi03 ******************************************************* ---------------------------------------------------------------------- DOMAINE SCIENTIFIQUE ET OBJECTIFS ---------------------------------------------------------------------- L'interactivité est une tendance majeure des systèmes informatiques actuels et un important champ de recherche. Elle se décline sous plusieurs aspects : (i) interaction entre utilisateurs et systèmes informatiques, (ii) 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. (iii) sans oublier l'intégration de ces deux aspects dans les divers agents conversationnels, agents de recherche, assistants personnels, etc. 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 leur comportement). Ces modèles doivent permettre de concevoir, spécifier, valider et contrôler de tels agents coopératifs et communicationnels. Ils peuvent être de différentes natures ; voici quelques exemples (non exclusifs d'autres approches) qui pourront aider à situer le type de recherche que nous visons pour ce colloque : (A) Logiques : logiques déontiques (normes sociales, obligations, droits), épistémiques et intentionnelles (modèles d'autrui utilisés dans la coopération), temporelles (protocoles) ; possibiliste et probabiliste, etc. (B) Théorie de la décision : optimisation, théorie des jeux, modèles de Markov, marchandage, enchères économiques et autres théories économiques...  (C) Modèles formels ou semi formels pour l'interaction : langages de communication d'agents, modèles pour l'argumentation, justifications et explications, modèles pour la planification, l'action et l'interaction, etc.  (D) Algorithmes distribués : spécification, validation, complexité...  Les bénéfices attendus concernent aussi bien la fiabilité et la reproductibilité des systèmes informatiques réalisés, ou l'élaboration de méthodologies de conception de ces systèmes, que la modélisation de l'interaction humaine elle-même dans des aspects cognitifs et sociaux dans une perspective de sciences humaines et sociales. Le but de ces journées est de rassembler des chercheurs de différentes communautés scientifiques (informatique, linguistique, sociologie, économie, sciences cognitives...) ayant en commun la volonté de formaliser tel ou tel aspect de l'interaction entre agents artificiels ou/et humains. Une convergence interdisciplinaire de ce type se retrouve au niveau international dans le cadre bien identifié par la trilogie "Logique, Langage, Informatique". Toutefois le champ couvert sous cet intitulé est extrêmement vaste et a contrario certains aspects de l'interaction n'y sont pas pleinement pris en compte (aspects sociaux et économiques notamment). Il s'agit également de jeter un pont entre les méthodes de l'IA (représentation des connaissances et raisonnement...) et du Génie Logiciel (spécification et validation) dans la conception de systèmes d'agents coopératifs. 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 nous paraît opportun de rassembler et d'affirmer une communauté spécifique, et particulièrement une communauté francophone. ---------------------------------------------------------------------- THEMATIQUES ---------------------------------------------------------------------- Les thématiques de recherche visées peuvent se regrouper dans les items (non limitatifs) suivants : (a) Aspects langagiers : sémantique et pragmatique des actes de langage, pragmatique du dialogue et des conversations, la sémantique des modalités... (b) Aspects sociaux : spécification de normes sociales, de droits et d'obligations, d'organisations collectives... (c) Aspects comportementaux au niveau du groupe : coordination, cohérence, etc. (d) Aspects cognitifs : modèles de type BDI et interaction entre agents, métaconnaissances, langages de communication, ontologies partagées, planification coopérative... 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 faisant apparaître clairement le recours à ces méthodes: * Interfaces homme-machine, agents d'interface * E-commerce, recherche d'information * Evaluation de situations complexes, prise de décision distribuée * Gestion de ressources et ordonnancement * 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. * Des conférences invitées de type synthèse permettant (notamment aux jeunes chercheurs) d'appréhender une grande problématique de recherche. * Des rencontres entre les participants, démonstrations, tables rondes... ---------------------------------------------------------------------- SOUMISSIONS ET PUBLICATION ---------------------------------------------------------------------- Les propositions de communications d'une longueur de 12 pages maximum devront être rédigées en Français ou en Anglais. Elles doivent parvenir impérativement avant le 21 décembre 2002, sous forme électronique en format Word, .pdf ou .ps, à l'adresse suivante : herzig@irit.fr Si jamais, vous devez pour une raison ou une autre envoyer une version par le courrier classique, envoyez-là à l'adresse suivante : Andreas Herzig 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 : Brahim Chaib-draa, Andreas Herzig ---------- Comité de Programme : -------------------- P. Bailhache (Nantes) Ph. Balbiani (IRIT, Toulouse) B. Beaufils (LIFL, Lille) Ch. Brassac (CLSH, Nancy) J. Caelen (CLIPS, Grenoble) M. Chambreuil (LRL, Clermont-Ferrand) F. Charpillet (LORIA, Nancy) F. Clérin-Debart (GREYC, Caen) R. Demolombe (ONERA, Toulouse) J-L. Dessalles (ENST, Paris) A. El-Fallah Seghrouchni (LIPN, Paris-Nord) P. Enjalbert (GREYC, Caen) J. Euzenat (INRIA, Grenoble) F. Evrard (IRIT, Toulouse) L. Fariñas del Cerro (IRIT, Toulouse) P. Gochet (Liege) J. Lang (IRIT, Toulouse) B. Leloup (ENST Bretagne/IAAI, Brest) Y. Lespérance (York) P. Livet (Aix-en-Provence) Ph. Mathieu (LIFL, Lille) N. Maudet (Imperial College, Londres) A.I. Mouaddib (GREYC, Caen) S. Pesty (IMAG, Grenoble) D. Sadek (France Télécom R&D, Lannion) M. Salles (Caen) J.-P. Sansonnet (LIMSI, Paris) P-Y. Schobbens (Namur) C. Schwind (LIM, Marseille) S. Tazi (LIHS, Toulouse) A. Trognon (CLSH, Nancy) J.-C. Vergnaud (EUREQA, Paris) ---------------------------------------------------------------------- COMITE D'ORGANISATION ---------------------------------------------------------------------- Président : Philippe Mathieu --------- Membres : ------- B. Beaufils S. Picault J.-C. Routier Y. Secq M.-H. Verrons ---------------------------------------------------------------------- CALENDRIER ---------------------------------------------------------------------- * 21 décembre 2002 : Réception des contributions * 27 janvier 2003 : Notification d'acceptation * 28 février 2003 : Remise des articles pour publication dans les actes. * 20 au 22 mai 2003 : Colloque MFI 03 à Lille ---------------------------------------------------------------------- CONTACT ---------------------------------------------------------------------- Andreas Herzig Courriel : herzig@irit.fr Web : http://www.lifl.fr/mfi03