Rapport du comité d'experts

Transcription

1 Section des Unités de recherche Rapport du comité d'experts Unité de recherche : Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) UMR 7503 de l'université Henri Poincaré février 2008

2 Section des Unités de recherche Rapport du comité d'experts Unité de recherche : Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) UMR 7503 de l'université Henri Poincaré février 2008

3 Rapport du comité d'experts L'Unité de recherche : Nom de l'unité : Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) Label demandé : UMR N si renouvellement : 7503 Nom du directeur : M. Karl TOMBRE Université principale : Université Henri Poincaré Nancy 1 Autres établissements et organismes de rattachement : Université Nancy 2 INPL INRIA CNRS Date(s) de la visite : février

4 Membres du comité d'évaluation Président : Monsieur Richard CASTANET, ENSEIRB, Bordeaux Experts : M. Michel HABIB, LAFIA, Paris M. Jérôme EUZENAT, INRIA Rhône-Alpes M. Yves LEDRU, LIG, Grenoble M. François TERRIER, CEA LIST, Saclay Mme Catherine GARBAY, CLIPS, Grenoble M. GOUBAULT-LARRECQ, LSV, Cachan M. François DENIS, LIF, Marseille M. Andreas PODELSKI, Université de Freiburg M. Mark STEEDMAN, Université d Edimburgh Mme Nicole BIDOIT, LRI, Orsay Mme Mireille DUCASSE, IRISA Rennes Expert(s) représentant des comités d évaluation des personnels (CNU, CoNRS, CSS INSERM, représentant INRA, INRIA, IRD ) : Mme Nicole BIDOIT, Comité National CNRS section 7 Mme Mireille DUCASSE, CNU 27 ème section M. Jean Daniel BOISSONNAT, CE INRIA 3

5 Observateurs Délégué scientifique de l'aeres : M. Jean Marc GEIB Représentants de l'université ou école, établissement principal : Mme Janine SOUQUIERES, VP CS de Nancy 2 a suivi toute la présentation comme représentante des trois universités M. Pierre MUTZENHARDT, VP CS de l UHP à participé à une partie de la visite M. Jean-Pierre FINANCE, Président de l UHP et Jacques JARAY VP CA de l INPL ont participé à la rencontre avec les tutelles Représentant(s) des organismes tutelles de l'unité : Mme Véronique DONZEAU-GOUGE, DSA ST2I, CNRS M. Jean Michel MULLER, DSA ST2I, CNRS M. Jean Pierre VERJUS, INRIA M. Philippe ROBERT, comité de visite IECN/LMAM 4

6 Rapport du comité d'experts 1 Présentation succincte de l'unité Le Laboratoire Lorrain de recherche en Informatique et ses Applications (LORIA) est une unité de recherche (UMR 7503) commune au CNRS, à l INRIA, à l INPL et aux universités Henri Poincaré Nancy 1 et Nancy 2. Cette unité a été créée en 1997 et a déjà été renouvelée comme UMR deux fois (2001 et 2005). Le LORIA compte actuellement 28 équipes de recherche, soit propres soit communes avec l INRIA, pour 20 d entre elles. Les enseignants chercheurs sont en nombre de 104, les chercheurs INRIA 52, les chercheurs CNRS 20. Si le nombre de chercheurs INRIA a augmenté (+20% en 4 ans), le nombre de chercheurs CNRS et d enseignants chercheurs des établissements de tutelle stagne. Il faut noter que le laboratoire a un peu de difficultés à attirer des enseignants chercheurs extérieurs. Le LORIA comporte, sur les derniers quatre ans, 163 publiants et 13 non publiants. Un ratio à moins de 10 % de non publiants est bon. Synthèse : 163 publiants sur 176 enseignants-chercheurs et chercheurs. Les 82 personnels ITA et IATOS proviennent très majoritairement de l INRIA (62) et du CNRS (13). Les établissements d enseignement supérieur ont peu doté le laboratoire, avec malgré tout un net avantage pour UHP(Nancy 1) (6). Si le personnel ITA de l INRIA a augmenté d environ 20 % depuis 4 ans, le CNRS et les autres établissements n on mis aucun moyen humain supplémentaire. Le nombre d HDR soutenues est en progression : 4 en 2005, 2 en 2006, 5 en chercheurs ou enseignants chercheurs ont une HdR ; tous encadrent des thèses à 5 ou 6 exceptions près. Le LORIA a vu son nombre de doctorants nettement augmenter ces dernières années. Actuellement 143 thésards sont identifiés. Le nombre de thèses soutenues est en progression : 20 en 2005, 27 en 2006, 29 en La durée moyennes des thèses est de 3 ans et 6 mois. le financement des thèses se répartit de la manière suivante : Allocations de recherche : 8 Allocations de recherche et monitorat : 24, AMN 5, AMX 2, CORDI 19 Ressources propres (dont des cofinancements Région à 50%) : 45, CIFRE 11, Enseignement secondaire 3, Financement étranger 23, Salariés sur emplois publics 3. Les abandons sont de l ordre de 4 à 5 par an. On constate une assez grande difficulté pour toutes les équipes d attirer de nouveaux thésards. 2 Déroulement de l'évaluation L évaluation s est déroulée sur 3 jours, du 13 au 15 février Un planning précis a été établi dans une concertation entre la direction du centre de recherche INRIA Nancy - Grand Est, de l AERES, du CNRS, de l INRIA et des universités, ainsi qu avec le président du comité de visite. La première journée a permis d avoir une présentation générale du laboratoire par son directeur et ensuite des présentations des six grands thèmes de ce centre : MIS-PAC, TALC, SSS-FSSI, I&G, STIC & vivant/informatique & vivant, AOC. Une heure était prévue pour chaque thème, questions comprises. Le comité a trouvé cette partie un peu longue, avec trop de généralités et avec des redondances fortes avec les présentations des équipes faites le lendemain. Une présentation de ces thèmes plus courte, plus centrée vers une démarche de politique scientifique aurait été préférable. 5

7 La journée du 14 février a été consacrée aux présentations scientifiques des équipes-projets. Les équipes ont été reparties en trois groupes d une dizaine d équipes avec des exposés en parallèle. Les membres du jury de visite se sont répartis (par 4 ou 5) sur les 3 groupes de présentation. Quarante-cinq minutes étaient accordées à chaque équipe. Cette journée a été particulièrement riche. Le comité de visite a apprécié la qualité des présentations. En parallèle, le membre du comité de visite ITA a consacré sa journée à l examen des structures du centre de recherche, aux équipes ITA ou IATOS et au fonctionnement de la «vie» des services communs du centre. La journée du 15 février a permis d examiner le fonctionnement de plusieurs services communs, ainsi que les perspectives aussi bien pour le LORIA que pour le Centre de Recherche INRIA Nancy - Grand Est. Les documents fournis au comité de visite n étaient pas très satisfaisants : un document issu de la contractualisation avec un certain nombre d informations globales sur le laboratoire et une présentation succinte de chaque équipe, sans le nom des responsables, ni les publications des équipes. Le document contenait, en annexe, l ensemble des publications du laboratoire, difficilement exploitable et sans les publications de Un CD avait aussi été fourni avec les rapports annuels des équipes, sans globalisation de l activité sur les quatre ans. La copie des supports de présentation des trois jours a été mise à la disposition des membres du comité de visite. Les trois déjeuners ont été utilisés pour des échanges avec l équipe de direction, avec les élus du conseil et les représentants syndicaux et les responsables de services. Les repas de midi ne sont pas forcément un moment idéal pour des échanges avec les élus et responsables de services, une plage spécifique aurait été préférable et aurait permis une meilleure écoute de part et d autre. Mais le comité de visite est conscient de la difficulté d une organisation sur un nombre de jours réduit. On peut regretter a posteriori de ne pas avoir eu une rencontre à huis clos du comité de visite avec des représentants des thésards. Le soir du 14 février a été consacré à une réunion avec les organismes ou établissements tutelles du laboratoire, ainsi qu avec les directeurs de laboratoire du site liés avec le centre de recherche (CRAN, IECN, LMAM). 3 Analyse globale de l unité, de son évolution et de son positionnement local, régional et européen Créé en 1997, le LORIA est une UMR originale (configuration semblable à Rennes avec l IRISA), dans la mesure où elle a comme tutelle, en plus des établissements d enseignement supérieur locaux (UHP Nancy 1, Université Nancy 2 et INPL), 2 ESPT : le CNRS et l INRIA. Le LORIA est clairement un des laboratoires d informatique les plus importants en France. Le directeur du l UMR LORIA est aussi directeur du Centre de Recherche INRIA Nancy Grand Est. Cette situation présente des avantages en termes de regroupements, de capacités d évolution, de masse critique, de mutualisations. Par contre, des inconvénients existent en terme de lisibilité, de contradiction éventuelle de politique entre une UMR et un CRI. Ce point sera examiné dans la suite du rapport dans la mesure où des évolutions de structuration sont prévues. Karl Tombre assure la double direction depuis plus d un an. Il a succédé à Hélène Kirchner. Le LORIA a vu ses locaux presque doubler en Il dispose actuellement d une surface de m2, permettant de loger environ 400 personnes. Cette extension de locaux était absolument indispensable. Le LORIA dispose de 28 équipes dont 17 d entre elles sont Equipes Projets INRIA (EPI). Lors des dernières quatre années, un certain nombre d équipes ont évolué: recomposition, éclatement d une «grosse» équipe en plusieurs nouvelles. Ces évolutions sont favorisées par la volonté de l INRIA de ne pas permettre à une équipe de se maintenir en l état plus de 12 ans. Environ un quart des équipes du LORIA n ont pas le le statut d EPI et ne semblent pas souhaiter à l obtenir dans les 4 prochaines années. Quelques enseignants chercheurs se trouvent dans des situations intermédiaires de recherche d intégration d équipes ou de recomposition d équipes. Les données concernant ce personnel ne sont pas très claires. 6

8 Les effectifs du LORIA ont nettement augmenté au cours des dernières années : 129 chercheurs ou enseignants chercheurs en 2000, 176 en 2007, 107 doctorants en 2000, 166 en Il faut souligner l augmentation récente du nombre de doctorants, qui était un peu faible précédemment. On retrouve le bon ratio de 1 chercheur-enseignantchercheur/doctorant. Le nombre d ITA et d IATOS, passant de 57 en 2000 à 82 personnes en 2007, a aussi fortement évolué avec la seule contribution de l INRIA. On peut, d aileurs, s étonner de la faible implication en termes d IATOS des tutelles établissements d enseignement supérieur. Le LORIA se présente sous forme d un ensemble de thèmes auquels se raccrochent les équipes de recherche. Le comité de visite tient à saluer l effort de structuration fait. Il aurait été intéressant de voir comment se faisait l animation des thèmes : est ce uniquement une forme de présentation ou y-a-t il une «roadmap» de travail par thème pour favoriser les échanges, les collaborations, l utilisation de plateformes et l émergence de nouvelles équipes? La restructuration des équipes s effectue avec une dynamique postive. La gouvernance du LORIA est bien structurée et vise à l efficacité et à l excellence. La structure a de réelles ambitions et prend en compte les évolutions possibles du paysage de la recherche à Nancy. Les publications sur les 4 dernières années sont en nombre de 1800 dont 300 dans des revues internationales et 960 dans des congrès internationaux. Les ratios sont ainsi de 2 publications en revue internationale par chercheur sur les 4 ans et de 6 articles par chercheur dans une conférence internationale tous les 4 ans. Sans être exceptionnels, ces ratios sont de bon niveau. Il faut noter que l année 2006 a vu une forte augmentation (plus de 20 %) du nombre de publications. L effort doit être maintenu. Le nombre de soutenances de thèse est en constante augmentation : 20 en 2005 (ce qui était faible), 27 en 2006 et 29 en On doit malgrè tout s interroger entre la différence entre le nombre de doctorants et celui des soutenances. Le nombre d HdR soutenues par an est d un peu plus de 3 en moyenne par an. Ceci reste faible. L augmentation de ce nombre en 2007 (5) laisse à penser qu il y a,peut-être, une incitation de la direction et des responsables d équipes, même si cela n a pas été mentionné lors de la visite. Il faut souligner la présence d une école doctorale assez large IAEM (Informatique, Automatique, Electronique, Mathématiques). Cette école doctorale favorise un certain nombre de collaborations en particulier avec les mathématiciens et a permis de faire émerger un PPF et de proposer la fédération de recherche Charles Hermite. Le budget recherche en 2007 du LORIA est de plus de 4 millions, dont près de 3 milions de ressources propres. Ces dernières proviennent d une très forte augmentation des crédits provenant des projets ANR, avec une diminution des contrats de recherche directs (dont les montants sont assez faibles pour un laboratoire de la taille et de la réputation du LORIA) et des contrats européens. Ce phénoméne se retrouve dans plusieurs autres laboratoires en France, du fait de l impulsion donnée par les appels d offres ANR. Les taux de succès aux appels d offres ANR sont de l ordre de 30 % (avec une diminution en 2007 à laquelle il faut être vigilant), ce qui se situe dans la moyenne nationale, mais sans plus. La gestion des contrats se décide via des comités de contrats avec tous les établissements. La gestion des contrats est répartie entre les établissements en choisissant comme établissement gestionnaire celui auquel appartient le porteur du projet lié au contrat. Ceci représente une régle simple et efficace. Les relations européennes et internationales sont actives. Chaque équipe a des relations internationales suivies et organisées dans le cadre de programmes de collaboration ou d échanges internationaux, avec une moyenne de 3 programmes par équipes. Cette politique doit être maintenue et amplifiée. Les équipes participent au 6 ième PCRD avec 17 projets retenus et au 7 ième PCRD avec 18 projets. Le document du LORIA fournit une liste de 26 projets actifs en 2004 dont 10 REX, 4 STREP, 2 IP, 7 IST, 1 CRAFT, 1 FET et 1 e-content. L objectif du LORIA est d augmenter le nombre de projets européens du laboratoire tel que les ¾ des équipes participent au moins à un projet européen. On ne peut que souscrire à cette volonté du LORIA. Il faut noter que l équipe projet Madynes est coordonatrice d un projet réseau d excellence. De même il faut féliciter le LORIA pour son succès dans le montage d un Master Erasmus Mundus dans le domaine du traitement automatique des langues. La situation géographique du LORIA favorise la possibilité de relations internationales (Belgique, Luxembourg et surtout l Allemagne). Des ateliers thématiques fonctionnent avec les universités de Sarrebruck et Kaiserlautern ainsi qu avec les instituts Max Planck de Sarrebruck. On doit encourager le LORIA à continuer et intensifier ces relations et à profier de sa situation privilégiée. Ces relations devraient aussi permettre d attirer des doctorants, des postdoctorants ou des chercheurs confirmés des pays limitrophes, en particulier de l Allemagne. 7

9 La participation du LORIA à des pôles de compétitivité est très faible. La situation en Lorraine lui est défavorable. En effet, les pôles régionaux existants ont des thématiques éloignées de celles du LORIA. Il est possible de participer au pôle sur les matériaux, mais probablement de façon secondaire. Il est regrettable qu un pôle de compétitivité n ait pas été présenté et retenu par la Région dans les domaines de compétences du LORIA. Le tissu industriel local semble faible et peu propice. Les contrats CPER précédents (pôle PRST Intelligence Logicielle) et l actuel (pôle PRST Modélisation, Information et Systèmes Numériques) ont sur le LORIA un effet structurant très important. Ils permettent de financer de grandes plateformes sur lesquelles plusieurs équipes sont susceptibles de collaborer. Ce point est très positif pour la recomposition des équipes, l émergence de thématiques et les collaborations pluridisciplinaires. On ne peut qu encourager une telle politique. Les CPER représentent environ un million par an d investissement en matériel, auquel il faut ajouter le financement de 6 à 7 thèses et quelques post-doctorants. Sept plateformes sont prévues pour créer des centres de compétences au niveau au moins national dans plusieurs domaines. On doit encourager la volonté de confirmer un centre national dans le domaine des langues, le projet de création d un laboratoire de haute sécurité en informatique (qui serait le 1 er labo civil), la création d un centre de compétences et de Transfert en Génomique et Bio modélisation. Ces plateformes sont aussi susceptibles de créer des liens avec des entreprises utilisatrices. Le LORIA s est fixé une politique scientifique identifiant 5 thématiques de recherche, dont une transversale. 4 de ces thématiques constituent une continuité scientifique (dont 2 dans des thèmes d excellence du laboratoire : traitement des langues et fiabilité/sécurité) et seront renforcées avec les plateformes du CPER. La thématique transversale en informatique et science du vivant est prometteuse. Une nouvelle thématique est identifiée «Image et Géométrie». Elle correspond à une montée en puissance des équipes de recherche de très bonne qualité dans ce domaine. Dans ce domaine, il est nécessaire de mentionner l ERC Starting Grant de Bruno Lévy qui constitue une reconnaissance internationale de très haut niveau. Le LORIA a intensifié son action dans l organisation de colloques nationaux et internationaux. Ceci est une preuve de notoriété pour un laboratoire. De 3 congrès par an organisés, le LORIA est passé à 9 congrès en Cette volonté doit être maintenue. Dans le domaine de la valorisation, des relations avec des entreprises ont permis de participer à 3 brevets (mais dans une seule équipe). 4 créations d entreprises sont intervenues récemment et plusieurs projets ont été lauréats dans des concours d innovation et de création. Cette situation est nouvelle, après quelques années de «calme» dans ce domaine. La création d entreprise permettra aussi d intensifier les collaborations du LORIA avec les entreprises. La configuration du LORIA et son environnement sont en cours de changement. En effet, l INRIA ne souhaite plus être une tutelle d une UMR. De ce fait deux entités vont se distinguer, un laboratoire LORIA UMR et un CR INRIA avec deux directions disjointes. L ensemble du personnel et les cadres dirigeants du LORIA souhaitent un maintien de l unité dans son fonctionnement mais a une certaine inquiétude vis à vis du changement. Il semble que l INRIA ne souhaite pas bouleverser les structures mutualisées. Il n est pas question actuellement de partition du LORIA au niveau du personnel. La séparation en deux entités clarifierait la situation, mais le maintien de l ensemble des équipes et du personnel dans un environnement commun est très souhaitable. Ceci permet d avoir une masse critique, une évolution et une recomposition facilitée des équipes, des collaborations inter-équipes. Par ailleurs la fédération de recherche Charles Hermite fait suite à un PPF. Elle est destinée à favoriser les recherches interdisciplinaires en particulier avec l automatique et les mathématiques. Ce rapprochement scientifique est bénéfique. La possibilité à long terme d un laboratoire commun regroupant toutes ces thématiques a été mentionnée dans les perspectives. Mais ce n est pas réellement un projet actuel. 8

10 4 Analyse équipe par équipe et par projet ABC ABC, pour Apprentissage et Biologie Computationnelle, est une équipe du LORIA qui a été créée en octobre 2006 par des membres de l'ex-équipe projet INRIA MODBIO, après le départ à l'université libre de Berlin de son responsable. L'équipe comprend 2 membres permanents et plusieurs collaborateurs permanents extérieurs. Un CR CNRS et spécialiste de l'apprentissage statistique, est le responsable de l'équipe ; une MC recrutée en 2005 à l'inpl est spécialiste de phylogénie moléculaire et est responsable de la formation en bio-informatique de l'ecoles des Mines de Nancy. Le domaine de recherche de l'équipe est la théorie de l'apprentissage statistique, le traitement des séquences biologiques étant indiqué comme domaine d'applications privilégié. Points forts Le responsable de l'équipe mène des travaux dans le domaine de la discrimination multi-classe par des méthodes à noyaux qui sont reconnus dans la communauté de l'apprentissage statistique. Il a également une bonne expérience de l'application des méthodes d'apprentissage au traitement des séquences biologiques. Les compétences pluridisciplinaires des deux membres permanents de l'équipe sont en accord avec l'objectif qu'elle s'est fixée. Points faibles L'exposé du responsable de l'équipe, presque entièrement tourné sur la théorie de l'apprentissage statistique, n'a pratiquement pas mentionné les applications, réalisées ou projetées, à la biologie computationnelle. L'absence d'un projet bioinformatique structurant les activités de l'équipe fait douter de la pertinence de son intitulé. Recommandations Si l'objectif de cette équipe est réellement l'apprentissage statistique appliqué à la biologie computationnelle, il est indispensable de préciser son projet scientifique et de recentrer les activités de ses membres autour de ce projet. Mais étant donné les intérêts scientifiques et les compétences du responsable de l'équipe, on s'attendrait davantage à le voir comme responsable d'une équipe dédiée aux aspects fondamentaux de l'apprentissage statistique qui pourrait appuyer au cas par cas, tel ou tel sujet de recherche appliqué requérant ce type de techniques. Les collaborations avec les statisticiens de l'ulp à Strasbourg gagneraient peut-être à être officialisées. Adagio Les thèmes de cette équipe créée en 2006 sont mots, arithmétique et géométrie discrète. L équipe est composée de 6 permanents et 2,5 doctorants. Adagio développe, dans le cadre d un Projet ANR GEODIB piloté par l équipe, une notion d objet bruité discret qui semble très pertinente, il s agit alors d étudier les structures discrètes régulières qui encadrent un objet bruité. L activité de l équipe sur les mots est très liée aux mots engendrés par des structures discrètes du plan et de l espace (caractérisations et algorithmique associée). Le thème central de l équipe est donc actuellement celui de la géométrie discrète. Points forts Il s agit d une équipe regroupée autour d un thème commun, avec une bonne activité de publication ainsi qu une bonne insertion dans la communauté de la géométrie discrète (conférences et revues). La volonté affirmée de se confronter aux applications comme par exemple, en collaboration avec l équipe projet Orpailleur, des problèmes de génomique. Points faibles Les relations internationales un peu faibles. Peu de contrats industriels. 9

11 Recommandations Elargir les relations internationales du projet. Comparer et valider lors des applications en imagerie les techniques issues de la géométrie discrète avec les meilleures approches plus classiques (i.e. numériques ou issues du traitement du signal). Appliquer à d autres domaines que l imagerie les idées de la géométrie discrète (par exemple les réseaux) et peut-être utiliser les outils théoriques forgés dans l équipe, afin de mieux appréhender la difficile question du passage du discret au continu. Algorille Les thèmes principaux de l équipe concernent les aspects algorithmiques liés aux calculs sur la «grille». Ainsi dans le cadre du projet national Grid5000, l équipe a choisi de situer ses recherches sur les niveaux Applications et Services en évitant le Middleware, ce qui permet de se concentrer sur les problèmes algorithmiques. Rappelons que ces questions algorithmiques telles que l ordonnancement des tâches constituent l un des principaux verrous technologiques pour les applications sur la grille. Points forts : Une petite équipe jeune (plusieurs recrutements récents). Bonne perception des problèmes fondamentaux algorithmiques à résoudre dans le cadre des applications sur la grille de calcul. Très bonne production scientifique ainsi que des développements logiciels significatifs. Points faibles : Peu de contrats industriels et d applications véritables. Recommandation : Continuer cette approche algorithmique, en se plaçant dans un contexte totalement distribué, peut-être en utilisant des idées algorithmiques probabilistes (qui dans certains cas permettent d éviter de choisir de mauvaises solutions de type optimum local dans les problèmes d ordonnancement ou d allocation). Alice ALICE est une très jeune équipe créée en janvier L'équipe comprend quatre CR INRIA dont un en détachement pour créer une entreprise, cinq doctorants, deux postdoctorants et un collaborateur extérieur enseignant chercheur à l'inpl. ALICE est issu du projet ISA et sa problématique prolonge celle d'isa sur les points suivants : le traitement informatique des modèles géométriques ("geometry processing"), le calcul haute-performance en synthèse d'images et la visualisation 3D. Même si le sous-titre de l'équipe est "Géométrie et Lumière", l'accent est davantage sur la Géométrie que sur la Lumière. ALICE est une équipe reconnue au plan international et certains de ses résultats (en particulier sur la paramétrisation de surfaces triangulées et l'optimisation numérique) font autorité. L'équipe a un bon score de publications et obtenu plusieurs "Best paper awards". Elle a par ailleurs développé des logiciels distribués en open source et été à l'origine de la création d'une startup (Scalable Graphics) fondée par un chercheur de l'équipe. Les membres de l'équipe sont très présents dans la communauté internationale et ont su nouer des collaborations fructueuses académiques et industrielles. Recommandations : ALICE est une jeune équipe très dynamique reconnue au plan international pour ses contributions scientifiques. En se développant, ALICE peut devenir une équipe phare dans son domaine. Le succès récent et remarquable d un des membres de l équipe à l'erc devrait permettre à ALICE d'atteindre cet objectif. Le renforcement de l'équipe devrait permettre également de renforcer l'activité de développement logiciel : meilleure documentation et diffusion, benchmarking et comparaison avec les logiciels stars du domaine etc. 10

12 L'orientation récente d'alice vers la simulation doit être encouragée ainsi que les collaborations avec des spécialistes de la résolution d'edp. Le contexte lorrain est pour cela excellent et le savoir faire d'alice peut trouver ainsi de nouvelles applications intéressantes. Cacao Cette équipe a été créée en 2006 et fait suite à l équipe SPACE commune avec l université Paris 6. Ses effectifs sont: 2 CR, 2 DR et 3 doctorants. Les chiffres dans le rapport sont légèrement différents (3 chercheurs, 1 MdC et 2 doctorants). Cette équipe a vu ses effectifs bouger plusieurs fois lors des quatre dernières années avec des mobilités entrantes et sortantes. Ses thèmes de recherche principaux sont : l arithmétique et les méthodes mathématiques pour la cryptologie asymétrique, en particulier les courbes de genre 2, les réseaux et applications, la factorisation. Cette équipe a le souci d une part d obtenir des résultats théoriques significatifs et d autre part de produire des logiciels utilisables et diffusables. Il faut particulièrement retenir le logiciel du domaine arithmétique flottant MPFR (en constante évolution depuis 1999), intégré dans Maple, Magma et gcc. Plusieurs résultats marquants ont été obtenus sur la FFT et des gains de calcul importants en arithmétique. Il faut aussi souligner le souci de cette équipe de s inscrire dans un contexte de collaboration internationale avec les meilleurs laboratoires ou équipes du domaine (ENS, LIX, TANC, IECN, Canberra) et la participation avec succès à des compétitions internationales. La production scientifique a une pente ascendante marquée et atteint un excellent niveau (sur 4 ans : 12 revues et 23 conférences dont certaines majeures comme ARITH, Crypto ou ANTS). L équipe a su s inscrire dans le mouvement des appels d offres ANR, avec la sélection d une ANR blanche CADO en commun avec l équipe TANC de Saclay et l IECN. Le devenir de ses thésards est excellent : 2 MdC et 1 CR dans les meilleurs laboratoires de France du domaine. L équipe connaît très bien le contexte international du domaine et se situe à un très bon niveau dans ce contexte. Les perspectives sont très bien identifiées. On ne peut que souligner l excellente qualité de cette équipe de recherche. Elle doit continuer dans ses thématiques avec les élargissements signalés comme perspectives. Il faudrait favoriser son souhait de recrutement soit avec une mutation ou un recrutement d un chercheur susceptible d intervenir au niveau du matériel ou d un professeur. Dans ce dernier cas, cela permettrait d avoir une meilleure participation aux enseignements, ce qui favoriserait le recrutement de doctorants, dont le nombre est un peu faible. L équipe n a pour le moment aucun contact industriel. Un effort est à faire dans ce sens. La création du laboratoire haute sécurité (mais que l équipe de mentionne pas) devrait constituer un environnement favorable pour cela. Calligramme CALLIGRAMME est une équipe du LORIA et du Centre de Recherche INRIA Nancy Grand Est créée en Elle vise à développer des recherches fondamentales sur les formalismes grammaticaux fondés sur la théorie des types, et à leurs applications au traitement informatisé de la langue française. La présentation des publications de l'équipe CALLIGRAMME n a pas été jugée satisfaisante sur la forme, avec des items hors de la période de référence (par exemple 2001) et des oublis de publications pourtant significatives (JoLLI 2004). En conséquence le niveau de publications de l équipe est difficile à évaluer finement. On notera que l'équipe a obtenu plusieurs résultats substantiels dans les représentations des réseaux de démonstrations, les grammaires catégorielles abstraites (CAG), les grammaires d'interaction (IG), et par le développement du compilateur de méta-grammaires XMG. Ce compilateur a été utilisé pour la génération d'une grammaire IG du français à large couverture. Des comparaisons favorables (mais assez informelles) ont été faites avec la grammaire française TAG développée «à la main» par Abeille. Avec TALARIS une méthode de conversion des tables de lexiques-grammaires de Gross a été développée. 11

13 L'équipe CALLIGRAMME fait presque exclusivement des recherches sur la théorie des grammaire fondée sur la logique de types, tout en visant le large domaine des applications de traitement automatique des langues. Il y a un risque que cette focalisation du travail de l équipe à cette catégorie de grammaires apparaisse comme trop spécialisée, et l isole dans la communauté du TAL. On note ainsi que la plupart des citations des publications de l équipe, surtout à IG et même à XMG, sont internes au groupe (il est vrai que Wintner fait récemment référence à XMG, mais ses conclusions sont plutôt négatives). Dans ce contexte, on est surpris que la section "évolution souhaitée de l'équipe" soit si brève. Il aurait été intéressant de faire le point sur la place (et les perspectives globales) de ce travail important sur ces grammaires utilisant la théorie des types dans le champ large du traitement automatisé des langues. L élargissement aux approches statistiques nous paraît nécessaire, même si cela peut être rendu plus difficile dans le contexte du français et du manque historique de corpus français. Néanmoins, même si cela demande de faire des expériences avec des corpus en anglais, le rapprochement avec les statisticiens serait essentiel pour ouvrir les recherches sur les CAG et les IG dans la prochaine période. Carte L'équipe CARTE est une jeune équipe, issue des équipes PROTHEO et CALLIGRAMME. Elle est composée de 5 permanents, 5 doctorants et 4 post-doctorants. L'équipe CARTE s'intéresse au calcul en présence d'adversité au sens large. Ceci inclut des thèmes aussi divers que la théorie algorithmique des jeux, les modèles de parallélisme massif, les modèles de calcul et déduction par règles, les modèles de calculs sur les réels (à la Blum-Shub-Smale), les systèmes dynamiques, voire les systèmes hybrides, la complexité implicite, les polygraphes, ou bien encore la virologie informatique. Ces thèmes sont structurés en trois axes, le premier regroupant modèles continus et hybrides, parallélisme massif et logique et déduction par règles, le second étant fondé sur la théorie algorithmique des jeux, et le troisième sur la virologie. Ces thèmes couvrent une étendue impressionnante de domaines, et l'équipe a des publications d'un niveau globalement correct. L'équipe développe de plus le logiciel CARIBOO de vérification de terminaison de systèmes de réécriture sous stratégie. L'activité logicielle pourrait être améliorée. En termes de systèmes hybrides, par exemple, l'activité de l'équipe a jusqu'ici surtout consisté à établir des résultats d'expressivité ou d'indécidabilité. Si cette activité doit être poursuivie, il serait bon d'explorer ce qu'on peut quand même y décider ou y calculer, et produire des logiciels le démontrant. Cette variété des thèmes abordés dans l'équipe CARTE confine à l'éclatement thématique. Il est certainement encore temps, l'équipe étant encore jeune, de refocaliser les thématiques de l'équipe, et de concentrer ses forces sur quelques thèmes d'importance, pour bénéficier d'un impact plus fort sur la communauté internationale. Il est difficile de suggérer un thème plutôt qu'un autre, et c'est certainement la responsabilité du chef d'équipe de décider. Toutefois, un thème qui suscite certainement de l'intérêt est celui de la virologie informatique. Il y a encore peu d'équipes de recherche qui s'intéresse à la problématique des virus et en particulier de leur détection en France. L'équipe CARTE a ici l'avantage unique d'avoir su proposer une approche originale dite de virologie abstraite. Il faut soutenir cette thématique avec force. A ce titre, la participation forte de l'équipe CARTE au jeune laboratoire de sécurité du LORIA est un indicateur encourageant. L'avenir devra dire si ce laboratoire, au delà d'un effet d'annonce, aura des effets positifs sur l'essor de la virologie informatique à Nancy et en France. Son succès sera entre autres conditionné par la capacité des initiateurs du projet à rassembler une masse critique de chercheurs issus de diverses équipes du LORIA, et éventuellement d'autres laboratoires. Cassis L'équipe CASSIS a pour objectif la vérification automatique de propriétés de sûreté et de sécurité de systèmes informatiques à nombre infini d'états. Elle décline cet objectif dans trois domaines: 1. La démonstration automatique de théorèmes, en particulier par l'approche SMT (solving modulo theories), dont elle est l'un des initiateurs au plan mondial. 12

14 2. La vérification automatique de protocoles cryptographiques, dont elle est un des acteurs majeurs au plan international. 3. La vérification symbolique et à base de contraintes, ainsi que la génération automatique de tests. L'équipe CASSIS est parmi les plus grosses du laboratoire, avec 14 permanents et 9 non-permanents, et a une activité soutenue de publications (8 revues, 36 conférences et workshops tout confondu en 2007), ainsi qu'une production régulière de thèses (environ 2,5 par an sur 4 ans). Elle a aussi une forte activité de production de logiciels: on retiendra Harvey dans le domaine 1, lequel est internationalement reconnu, et est désormais maintenu au sein de l'équipe MOSEL; AVISPA dans le domaine 2; et les BZ-Testing Tools dans le domaine 3. Elle participe à de nombreux projets tant européens (AVISPA, AVANTSSAR) que nationaux (ARA Arrows, Avote, Formacrypt, Cops, RNTL Pose). Enfin, CASSIS est un exemple en matière de transfert technologique, la société Leirios Technologies étant une jeune spinoff de la partie bisontine (domaine 3) de l'équipe. Une particularité de CASSIS est d'être bi localisée entre Nancy (domaines 1 et 2) et Besançon (domaine 3). La logique de ce regroupement est justifiée par l'utilisation commune de techniques logiques et symboliques pour la vérification de systèmes informatiques, par la complémentarité des approches à base de test et de preuve et par l'existence d'un projet en commun (RNTL Pose) et de nouveaux domaines d'applications communs (web services). Le projet RNTL Pose est une bonne illustration de cette complémentarité et du réel travail en commun des deux équipes. La qualité des parties nancéennes et bisontines est cependant légèrement inégale. La partie nancéenne, sur les domaines 1 et 2, est reconnue internationalement. La partie bisontine, sur le domaine 3, a une légitimité nationale, une forte activité de transfert industriel, et bénéficie d'une dynamique ascendante. Ceci en soi peut justifier l'intérêt d'un regroupement entre les deux parties de l'équipe. Les perspectives de CASSIS sont nombreuses, et en grande partie excitantes. On note en particulier, dans le domaine 1, l'intégration de LTL avec des structures de données, ou l'analyse de structures à pointeurs dans l'ara Arrows. Le départ de Silvio Ranise, membre clé de ce projet, pose cependant un problème qu'il faudra contenir. On note aussi dans le domaine 2 l'intérêt marqué pour les protocoles de groupe, la vérification d'api crypto, le vote électronique, ainsi que la notion de vérification compositionnelle de protocoles et l'analyse dans les modèles computationnels. Dans le domaine 3, l'extension des techniques au cas paramétrique, l'extension de la génération de tests aux propriétés de sécurité et plus seulement de la sûreté, la fertilisation croisée des approches génération de test et démonstration automatique. Finalement, l'équipe s'intéressera à l'avenir à la vérification de services Web, en intégrant notamment les vulnérabilités nouvelles des protocoles XML, ainsi que la problématique de la composition de services Web. Il est clair que CASSIS doit maintenir son dynamisme et son niveau d'excellence dans ces domaines, soutenu par la production de logiciels de qualité. Cortex L'équipe CORTEX est à la fois équipe du LORIA et équipe de l'inria. Elle est composée de 10 membres permanents (2 DR INRIA, 3 CR INRIA, 1 CR CNRS et 4 MC) et 6 doctorants. Le thème général de l'équipe est l'intelligence neuro-mimétique, déclinée en 4 directions de recherche : le niveau comportemental, le niveau neuronal, les architectures dédiées et l'extraction des connaissances. L'équipe souhaite se recentrer sur les trois premières directions, l'extraction des connaissances sortant des thèmes de l'équipe (avec l'un de ses membres). Points forts : Le positionnement scientifique de l'équipe est bien défini : de l'observation biologique à sa modélisation informatique, avec production d'architectures et dispositifs matériels originaux et retour vers la biologie. Le souhait de recentrage est cohérent avec son projet scientifique. Les collaborations nationales et internationales de l'équipe, notamment avec des équipes de neurosciences, sa participation à de nombreux projets nationaux et européens, une importante activité de développement logiciel et son bon niveau de publications, font de CORTEX une équipe solide. Points faibles : Le retour vers la biologie est peut être le point qui reste le plus à développer. Recommandations : L'équipe doit veiller, comme elle le fait actuellement, à développer conjointement tout le champ qu'elle se propose de couvrir, sa richesse provenant de son positionnement pluridisciplinaire. 13

15 Dedale L équipe Dédale organise ses recherches autour du développement rigoureux d applications, en partant d UML et en arrivant à des spécifications formelles, et prouvées, en B. Ce type de thématique est au cœur de l informatique et trop peu de doctorants y sont formés. En 2007, l équipe comprenait 3 permanents (uniquement des enseignantschercheurs), 3 doctorants, 3 post-doctorants et 3 collaborateurs extérieurs, deux Allemands et un Tunisien. L équipe est raisonnablement bien positionnée dans la communauté nationale, avec une activité en croissance. Elle intervient dans deux GDR, dans un projet ANR, ainsi que dans un projet du pôle de compétitivité régional. Elle travaille, de plus, en collaboration avec deux autres équipes du Loria. Les collaborations avec l Allemagne et la Tunisie sont un atout. Deux des permanents sont enseignants-chercheurs publiants. Il faut noter que ces deux mêmes enseignantschercheurs ont de très lourdes charges administratives dans leur université. Cela explique probablement pourquoi les publications récentes ne sont pas tout à fait au niveau que pourrait espérer l équipe. Il semblerait naturel que le laboratoire fasse un geste pour soutenir cette équipe. Le comité de visite a apprécié l enthousiasme de l équipe et noté favorablement le bon taux d encadrement doctoral et postdoctoral. Il recommande aux deux permanents publiants de se rapprocher d une autre équipe de génie logiciel ou de méthodes formelles au Loria, afin de regagner une synergie malgré les responsabilités administratives. Ecoo L équipe ECOO organise ses recherches autour de deux axes : Ingénierie des procédés et Edition collaborative. En 2007, elle comprenait 12 permanents (essentiellement des enseignants-chercheurs), 7 doctorants, 2 postdoctorants et 2 ingénieurs. Dans les deux axes, l équipe couvre un large spectre du processus de développement, de la construction de modèles et leur vérification par la preuve, à l implantation dans des logiciels de qualité industrielle. Cela se traduit d une part par une grande diversité dans les publications de haut niveau de l équipe, et d autre part par la distribution de solutions open-source (notamment Bonita et Libresource), qui ont été adoptées par de nombreux utilisateurs et qui trouvent un réel soutien dans une communauté extérieure à l équipe (notamment chez Bull et Red Hat pour Bonita, et dans la PME Artenum pour Libresource). L équipe est bien positionnée dans les communautés internationale (projets européens, comités de programme de nombreuses conférences) et nationale (projets ANR, GDR) et active dans les coopérations avec d autres équipes INRIA à Nancy et en France. Les perspectives de l équipe concernent d une part le support à des organisations inter-entreprises en garantissant des propriétés notamment liées à la sécurité et à la confidentialité et d autre part, le support à des collaborations ouvertes entre un grand nombre d utilisateurs (systèmes pair à pair, édition collaborative de type Wiki). Il faut également noter que le prochain quadriennal sera une période de transition pour ce projet qui vient à échéance en 2010 et verra prochainement le changement de son responsable. Dans cette période de transition, le comité encourage l équipe à conserver cette démarche ambitieuse de développements de logiciels pertinents pour le monde socio-économique, en s appuyant sur la formalisation des problèmes et mécanismes sous-jacents. Kiwi KIWI est un projet d'équipe issu de l équipe MAIA, consacré à la personnalisation des services informatiques en fonction des utilisateurs. Elle utilise donc des techniques de reconnaissance de motifs pour établir un profil de l'utilisateur. Elle rassemble 3 permanents issus de l'intelligence artificielle située, du traitement de la parole et du traitement de la langue qui ont tous une compétence particulière liée à la reconnaissance de motifs. Elle a à son actif la création d'une start-up (Sailendras) et l'expérience du domaine. L'équipe est enthousiaste et expérimentée. Evaluation L'équipe venant d'être créée, cette rubrique n'est pas pertinente. 14

16 Recommandations La mise en commun des compétences de trois domaines différents est, bien entendu, une richesse, qu'il faut prendre comme telle, et un risque, qu'il faut appréhender. Il faudra donc porter une attention particulière à ce que la greffe prenne. Les activités de KIWI semblent très liées à celles de la start-up Sailendras. Démarrer une activité dans un domaine très concurrentiel dans lequel il reste à faire ses preuves et démarrer une start-up sont deux activités très lourdes. Il semble souhaitable de bien séparer les deux activités, ne serait-ce que pour des raisons de clarté. Cela ne signifie pas que Sailendras ne puisse être source de problèmes et terrain de valorisation de KIWI, mais que KIWI doit élaborer une problématique scientifique autonome. L'émergence de cette équipe est un atout pour le laboratoire, en lui permettant de gagner en visibilité dans le domaine des services et du "web intelligence". Les collaborations avec les autres équipes (SITE, ECCO) sont à travailler. Madynes La date de création de l équipe n est pas précisée, mais semble être antérieure à Ses effectifs sont: 2 professeurs, 2 CR INRIA, 4 maîtres de conférence, 2 post-doc, 6 doctorants, 2 ingénieurs. Ses thèmes de recherche principaux portent sur la gestion de réseaux principalement sur deux plans : la supervision et la sécurité des communications, l exploitation de systèmes de très grande échelle et complexes (autonomes, dynamiques ). Des résultats théoriques significatifs ont été obtenus dans ces deux domaines et projetés sur les problématiques industrielles au travers de nombreux projets collaboratifs nationaux, européens et internationaux mais également de contrats directs avec des industriels majeurs comme ALU/Bell-Labs. L équipe est responsable du réseau d excellence européen EMANICS et est clairement reconnue internationalement comme une équipe clé dans le domaine. Au vu du rapport d activité 2006, le volume des publications est bon et elles sont de bonne qualité. Il faut toutefois souligner que les rapports Loria et INRIA fournis pour l évaluation ne donnent aucune information exploitable sur ce sujet. L équipe dissémine à la fois sous forme de logiciels open source et sous licence, avec dépôt de brevet le cas échéant. Clairement, la capacité de valorisation et de dissémination de l équipe est un de ses points forts. Le niveau de collaboration local interne au LORIA, mais aussi à l INRIA est faible, mais des collaborations avec le LIP6 et l Université du Luxembourg semblent bien actives. Les perspectives scientifiques sont bien identifiées à travers trois axes de recherche actifs en ligne avec le noyau de compétences de l équipe. On notera tout particulièrement la volonté de mettre en place une structure de haute sécurité pour permettre l analyse d attaques dans les infrastructures. Le projet possède un potentiel intéressant et peut permettre à l équipe d aborder des sujets inabordables sinon. Une coordination avec les centres d évaluation sécuritaire de systèmes électroniques et informatiques est sans aucun doute à mettre en place. Sa mise en pratique demandera sans doute des procédures spécifiques et un coût significatif, mais ce sujet mérite une grande attention. Dans ce contexte, la demande d évolution de l équipe en recrutement d un chercheur senior est cohérente avec son potentiel et la croissance d intérêt sur le sujet. Magrit L équipe a été créée en avril 2006 et est issue d ISA. Elle comprend 2 CR INRIA, 3 MdC, 1 collaborateur Professeur au CHU, 3 thésards. 15

17 Le thème général de recherche est l augmentation visuelle d environnements complexes. Le thème de la réalité augmentée est étudié dans plusieurs domaines, en particulier dans le domaine médical. Il s intéresse à l ajout d objets 3 D dans une scène avec des difficultés scientifiques et techniques liées à l approche boucle ouverte et temps réel avec un passage à l échelle (grands environnements, contrainte temps, calcul à tout instant du point de vue de l observateur). L équipe cherche à obtenir des solutions robustes pour les principaux problèmes de la réalité augmentée (calcul de point de vue, reconstruction d éléments) avec prise en compte de la multi modalité et des environnements multi planaires. Les publications de l équipe sont en nombre et de qualité : 5 revues, 25 conférences (dont ISMAR et MICCAI conférences de référence) et 2 thèses soutenues. Des distinctions ont aussi été décernées à cette équipe : meilleur article ISMAR, prix de thèse de Lorraine. Il y a un certain déséquilibre entre le nombre de publications en revues et celles en congrès. Un léger rééquilibrage serait souhaitable. Il faut souligner que ces chiffres ne mesurent que l activité sur 2 ans, depuis la création de l équipe. Pour avoir un nombre comparable à d autres équipes actives pendant 4 ans, il faudrait multiplier les publications par 2. Cette équipe a plusieurs collaborations avec d autres équipes, par exemple Parole-Nancy (sur le sujet de la tête parlante), Alcove-Lille (sur l apprentissage chirurgical). Les projets internationaux sont bien présents avec la participation aux projets européens ARIS et ASPI, et des co-tutelles de thèses. L activité de valorisation est de très bonne qualité, en particulier avec GE, avec laquelle 4 brevets ont été déposés. Des thèses CIFRE sont actives. Les perspectives : passage à l échelle avec amélioration de la répétabilité du calcul de pose, reconstruction automatique semi interactive boucle ouverte et fusion multimodale, sont intéressantes. L équipe a des potentiels en recherche qui justifieraient un recrutement. On peut remarquer que cette équipe ne contient aucun cadre (DR ou professeur). Le nombre de thésards reste limité avec aucun nouveau recrutement depuis 2 ans. Un véritable effort doit être fait pour attirer des thésards. Le positionnement par rapport à d autres équipes n est pas très clairement exprimé. On peut même s étonner que soit déclaré qu il n existe aucune autre équipe capable de traiter les sujets de façon transversale en boucle ouverte et en temps réel. Les thèmes applicatifs concernent de façon très majoritaire le domaine médical. L équipe devrait élargir son champ et recentrer une partie de ses recherches au niveau fondamental. Maia Le but principal de l'équipe est l'étude de systèmes multi-agents interagissant avec leur environnement (situés). Ces travaux sont développés selon deux axes principaux: la théorie de la décision (distribuée) en environnement incertain et l'étude de sociétés d'agents. L'équipe a entre autres travaillé sur l'apprentissage de comportements d'agents en vue d'optimiser leur fonctionnement individuel ou collectif. Elle a ainsi contribué à faire émerger la théorie de la décision markovienne distribuée (DEC-POMDP) où plusieurs agents optimisent leur comportement. MAIA dispose en outre d'acquis scientifiques qui lui permettent d'aborder avec succès des niches applicatives hétérogènes (de la télémédecine à la robotique en passant par l'analyse d'activité sur le Web). MAIA est aussi impliquée dans des projets de robotique comme la certification du contrôle de trains de véhicules. L'équipe MAIA est composée de 12 permanents (dont 5 chercheurs) et de 14 doctorants. Evaluation : MAIA jouit d'une très bonne réputation internationale, en particulier en ce qui concerne les processus de décision markoviens partiellement observables. Elle entretient des collaborations avec des centres reconnus (dont une équipe associée avec l'université du Massachusetts) et participe à de nombreux projets européens. L'activité de l'équipe est abondante sur tous les plans : développement, publications, contrats. 16

18 MAIA développe une activité de valorisation très importante au travers de liens directs avec des entreprises (Crédit Agricole, Technoscope, CardiaBase, Diatelic) ou la création de start-ups (Sailendra ou Intuitive machines en préparation). Recommandations : On fera trois observations sur les travaux de l'équipe MAIA: L'activité de publication est abondante mais n'est pas assez orientée vers des journaux de profil élevé : il faudrait accentuer l'effort de publication là où l'équipe pourrait avoir le maximum d'impact. Les évaluateurs ont remarqué un recrutement quelque peu endogène ces dernières années (trois doctorants de l'équipe ont été recrutés comme chercheurs ou enseignants-chercheurs). Il serait utile d'ouvrir plus les recrutements. Enfin, comme noté par l'équipe, les applications ne sont pas toujours, au final, en lien direct avec les résultats de l'équipe : il faudrait veiller à leur pertinence. L'équipe a connu sur la dernière période un fort recrutement, source potentielle de dispersion supplémentaire. Afin de préserver sa cohésion et surtout d'augmenter sa lisibilité et sa visibilité, l'équipe doit mener une réflexion et mieux distinguer entre ses points forts scientifiques et ses succès applicatifs. Merlin MErLIn est une équipe du LORIA et du CRI N-GE. L'équipe a été créée en 1998 avec pour mission l'étude de nouvelles modalités d'assistance à l'utilisateur et d'interaction homme-machine. Ses activités ont évolué pour tenir compte des contextes d'utilisation nouveaux : agents conversationnels animés, visualisation 3D de masses de données visuelles, interaction multimodale parole+regard. L'équipe était initialement bi-localisée entre Nancy et Rocquencourt. Elle comporte actuellement un seul membre permanent. Le comité d'évaluation de l'inria a demandé l'arrêt du projet en A Nancy, une année supplémentaire de soutien par l'inria a finalement été accordée. Points forts : L'équipe est portée par une belle dynamique scientifique, malgré ses moyens restreints, grâce au charisme et à l'engagement de sa directrice. Les publications sont de très bon niveau, l'activité d'animation est excellente et les travaux sont reconnus au plan international (la responsable est depuis 2006 Officer du Special Interest Group SIGACCESS de l'acm ). L'activité de valorisation est bonne, compte tenu des moyens limités de l'équipe (projets du CPER, ACI, contrats directs avec FT R&D). Points faibles : L'équipe paraît isolée scientifiquement au sein du centre et son activité de valorisation un peu en retrait au regard de son dynamisme et de sa notoriété. Le point critique est celui de son avenir, le maintien en activité de sa responsable tenant du tour de force. Recommandations : Seule équipe IHM du laboratoire, l'équipe MErLIn est une équipe en sursis et le risque est grand de perdre ses acquis scientifiques, faute de recrutement. Alors que des équipements lourds autour d'un environnement immersif de type "CAVE" sont mis en place, il nous paraît particulièrement regrettable de ne pas maintenir une compétence en Interaction homme machine au sein du centre. Mosel Le thème du projet Mosel est le développement systématique de systèmes du point de vue méthodologique. Ce point de vue est original, et propre au projet. Il se distingue du développement de nouvelles techniques de vérification ou de construction de systèmes. Le point de vue est important, mais rend la définition de questions scientifiques ciblées un peu difficile. 17

19 Le projet Mosel est constitué de chercheurs d une excellente qualité, elle est reconnue internationalement, comme en témoignent les collaborations avec de grands chercheurs du domaine. Le projet est dans une phase de validation de résultats. La méthodologie développée les années précédentes est mise en pratique dans de nombreuses études de cas (notamment le développement systématique d un algorithme distribué connu de la littérature). On peut dire que ces études de cas sont utiles et satisfaisantes dans le sens où elles mettent en valeur la méthodologie (pour l ingénieur ainsi que pour l étudiant), mais on peut se demander en quoi consiste la composante scientifique de cette activité (dans le sens où cette activité conduit à des résultats qui expriment un progrès tangible et exprimable dans un langage scientifique). Nous encourageons donc les membres du projet à rendre plus explicites les leçons tirées de ces expériences, et les nouveaux problèmes scientifiques qu'elles permettent d'identifier. Le projet a une autre composante, le développement de prouveurs SMT et leur intégration dans Isabelle. Le potentiel des prouveurs SMT est loin d être exploité, que ce soit en puissance ou en champ d application. La direction prise par le projet (extension avec des quantificateurs alternants) est particulièrement prometteuse pour étendre le potentiel (dans les deux axes) et elle s'accorde particulièrement bien aux compétences en déduction au LORIA. Le choix de la collaboration avec le groupe autour de SPASS au MPI à Sarrebruck semble judicieux pour accélérer ce développement de solveurs SMT. Orchids Cette équipe fait suite à l équipe MACSI. Elle comprend 4 enseignants, 1 professeur et 3 MdC, un demi secrétariat, un ingénieur INRIA et 2 doctorants. Le thème général est la Recherche Opérationnelle (management des opérations, ordonnancement). Les spécificités de l approche recherche concernent le développement de méthodes proches des besoins et des problèmes. Des outils d aide à la décision sont conçus. La responsable de l équipe se démarque d une approche plus classique qui consiste à trouver des solutions génériques applicables dans plusieurs domaines. La démarche est ici clairement affichée : trouver une solution spécifique à un problème spécifique pour être plus efficace. Les publications sont essentiellement dans des revues dont certaines de qualités (19 articles en journaux). 4 thèses ont été soutenues sur la période. Les contacts industriels sont nombreux, ce qui est normal dans la mesure où l équipe part de cas concrets, ce qui permet de mettre en place des contrats CIFRE pour des thésards. Un certain nombre de collaborations nationales sont mentionnées (Tours, Belfort, Paris 6, participation au GD RO) et internationales, principalement avec la Biélorussie. L équipe est liée à la communauté Recherche Opérationnelle française qui travaille en réseau (GDR RO, fédération ROIDEF, livres collectifs ). Les perspectives affirmées visent la prise en compte de nouveaux critères ou de contraintes dans de nouveaux problèmes. L activité de recherche de cette équipe, un peu atypique, est de qualité. La responsable d équipe possède une personnalité certaine. Même si la volonté de l équipe est de traiter mathématiquement des cas spécifiques, on doit l encourager à faire un effort important de recentrage vers les fondamentaux du domaine. La responsable de cette équipe va très prochainement prendre sa retraite. Aucun membre de l équipe n est pour le moment habilité, bien que cela soit envisagé. La responsable souhaite que son poste soit republié avec un profil Recherche Opérationnelle. On doit se poser la question de la pérennité de cette équipe. 18

20 Orpailleur Orpailleur est à la fois une équipe du LORIA et une équipe de l'inria. Elle comprend 9 chercheurs et enseignants-chercheurs permanents (2 DR CNRS, 1 CR CNRS, 1 CR INRIA, 2 PR, 3 MC) et 14 doctorants. Le thème principal de l'équipe est l'extraction de connaissances dans les bases de données, en suivant tout le processus, des données brutes aux systèmes de connaissances, et en mettant en œuvre des techniques de fouilles variées, aussi bien symboliques que numériques. Points forts : L'équipe participe à plusieurs projets au plan national et international (dont un réseau d'excellence). De nombreux systèmes logiciels sont développés par des membres de l'équipe, généralement en lien avec une application bien particulière. Le niveau de publications est bon, avec quelques publications excellentes et plusieurs distinctions locales et nationales ces dernières années. Points faibles : Très intéressée par les applications, et soucieuse de produire des logiciels répondant aux problèmes posés, l'équipe ne dégage peut-être pas suffisamment ce qui est au cœur de ses compétences et de son expertise, ce qui fait son originalité par rapport aux très nombreuses recherches menées en France et au niveau international en KDD. Recommandations : L'équipe pourrait tenter de mieux synthétiser son domaine d'expertise, qui semble être la fouille de données complexes guidées par les connaissances du domaine, et les aspects fondamentaux qui le constituent. Orpailleur est utilisatrice de techniques d'apprentissage automatique, comme plusieurs autres équipes du centre. La mise en commun des compétences présentes au centre dans ce domaine profiterait très certainement à ces équipes. Parole Parole est une équipe du LORIA et une équipe de l'inria Nancy - Grand Est. L'équipe a été créée en 1999, elle comporte 4 CR CNRS et 11 enseignants-chercheurs. Ses objectifs concernent l'analyse et la reconnaissance automatique de la parole, en vue de la conception d'interfaces vocales efficaces. Des applications à l'apprentissage des langues et au handicap sont également envisagées. Points forts : L'équipe apparaît très soudée, avec une excellente dynamique interne. Fortement ancrée dans l'histoire du laboratoire, elle bénéficie d'un héritage scientifique fort. Elle associe des compétences variées (de la perception à la reconnaissance), et vise à la fois une contribution fondamentale (nouveaux modèles de perception, nouveaux algorithmes) et une contribution appliquée, attestée par des démonstrations nombreuses et convaincantes. L'équipe a su évoluer vers des sujets d'actualité (traduction parole-parole, technologies vocales pour le handicap, têtes parlantes...). Elle bénéficie d'une forte notoriété internationale (collaborations avec plusieurs laboratoires phares du domaine en Europe et hors Europe), sa production scientifique est excellente et son implication au niveau européen est excellente (animation de plusieurs projets). Points faibles : L'activité de valorisation semble un peu en retrait, au vu du dynamisme et du potentiel de l'équipe. On attendrait plus de débouchés vers le monde industriel, mais aussi des contacts plus soutenus vers les communautés de l'éducation et du handicap. Les modèles utilisés pour l'apprentissage et la reconnaissance présentent des parentés certaines avec les modèles exploités au sein d'autres équipes, et il serait souhaitable d'augmenter la synergie avec ces équipes. Recommandations : Une meilleure lisibilité de l'activité de valorisation est souhaitable, qui devrait être accompagnée d'une plus grande attention à son développement. L'équipe gagnerait également à rendre plus lisible son insertion au plan national et à renforcer ses collaborations à ce niveau. 19