Conférenciers invités
Pablo Noriega (lundi, 17h)
Building coordination artifacts
"Internet has adopted many conventional practices and adapted them to become virtual forms of those practices, like e-commerce or e-learning. One can look into the process of establishing such virtual practices from an abstract perspective and frame it as the problem of designing coordination artifacts. In this talk I will explore one way of making that design problem operational : electronic institutions. I will introduce the intuitions behind that notion, sketch the current conceptual and computational models of electronic institutions and discuss how those intuitions may be put in practice. For that purpose I will use examples of electronic institutions developed with ISLANDER and the IIIA's EIDE platform."
Pablo Noriega received his Ph.D in Computer Science from the Autonomous University of Barcelona, in 1997. He is currently a tenured scientist in the Ar- tificial Intelligence Research Institute of the Spanish Scientific Research Coun- cil (IIIA - CSIC). His research is centered on regulated multi-agent systems and electronic institutions in particular. His current interests include norm- regulated environments, collective decision-making, argumentation and agree- ment technologies in general. Recently he started working on agent-based simulation of social systems. He has been a founding member of the IFA- MAS (International Foundation of Autonomous Agents and Multi-agent Sys- tems) and EUMAS boards. He is currently a member of the steering commit- tee of the COIN workshops, of which he has co-chaired the AAMAS-06 and the MALLOW-07 editions. He has held various academic positions in Mexico, where he got his undergraduate degree in Actuarial Science from Anahuac Uni- versity. He also held appointments in the Mexican government as CTO of the National Institute of Statistics, Geography and Informatics (1998-99) and chief IT policy maker (1989-94). He was one of the founders of the Mexican AI labo- ratory (LANIA) and the President of its board of directors from 1992 to 2000. He is a past president of the Mexican AI Society (SMIA) and of the Mexican National Actuarial Association (CONAC). In 2002 he was awarded a Ramon y Cajal fellowship by the Spanish Ministry of Education and moved to the IIIA in Barcelona.
Juan Pavón (mardi, 11h30)
Modèles et transformations pour le développement des systèmes multi-agents
"Aujourd'hui, les modèles sont l'élément clé du processus de développement de logiciel. Ainsi, les principales méthodologies orientées agents sont basées sur des méta-modèles qui définissent les concepts avec lesquels les ingénieurs de logiciel peuvent spécifier des systèmes multi-agents (SMA). Ces méta-modèles sont la base pour la construction d'outils d'aide au développement, tels que les éditeurs des modèles. Les modèles peuvent aussi être transformés et leurs propriétés analysées. Un avantage important c'est que les modèles peuvent être définis à un niveau d'abstraction assez haut pour mieux comprendre et gérer la complexité des SMA. Mais, quel est le niveau d'abstraction approprié pour travailler dans le processus de développement de SMA ? Comment définir les transformations ? Quels outils sont nécessaires pour faire possible le développement dirigé par modèles des SMA ? "
Juan Pavón est Docteur en Informatique à l'Universidad Politécnica de Madrid (1988) et depuis 1997 Profeeser titulaire à l'Universidad Complutense Madrid. Auparavant, il a travaillé pendant dix ans dans les centres de R&D d'Alcatel en Espagne, France et Belgique, et aussi à Bellcore (EE.UU.), essentiellement sur le développement d'architectures des systèmes distribués et leur application pour les services multimédia sur les réseaux de large bande et mobiles. Actuellement il est le coordinateur du Groupe de Recherche sur les Agents logiciels : Ingeniería y Aplicaciones (grasia !) de l'Université Complutense (http : //grasia.f di.ucm.es), où il a dirigé plusieurs projets de recherche tant au niveau national qu'international relatifs au développement de SMA pour le contrôle distribué, la personnalisation de services sur la Web, la gestion de connaissance et la simulation sociale. Ces expériences ont débouché sur la définition d'une méthodologie et d'outils pour le développement de SMA, INGENIAS.
Guillaume Beslon (mercredi, 9h30)
Modélisation individu-centrée et découverte de connaissances en biologie
"L'objectif de l'évolution digitale est de reproduire in silico des organismes biologiques et d'en observer l'évolution sur plusieurs milliers de générations. Ces modèles apparaîssent donc comme des compléments des expériences d'évolution in vitro. Il s'agit de modèles individus-centrés au sens ou ce sont les organismes qui sont définis (ou, plus exactement, les règles régissant les organismes) et que leur réunion en une population engendre le phénomène évolutif dont nous étudions la dynamique
et les conséquences.
Nous présenterons notre modèle d'évolution digitale Aevol (knibbe et al. 2007) et présenterons les principaux résultats auquels il nous a conduit. A partir de ce travail, nous concluerons par une analyse retrospective des difficultés que pose l'usage de ce type de modèles lorsqu'ils sont utilisés pour produire des connaissances en biologie."
Guillaume Beslon est professeur au département Informatique de l'INSA de Lyon et au Laboratoire d'informatique en images et systèmes d'information (LIRIS, UMR 5205, équipe Turing). Il est directeur-adjoint de l'institut rhône- alpin des systèmes complexes (IXXI) et mène des travaux pluridisciplinaires à l'interface entre les sciences du vivant (biologie évolutive, biologie cellulaire) et l'informatique.
