Bilan 2006-2009 et projet 2012-2015

Laboratoire dInformatique de Nantes Atlantique

Bilan 20062009

Projet 2012-2015

Version du 12 octobre 2010

LINA, Universit de Nantes 2, rue de la Houssinire BP 92208 44322 NANTES CEDEX 3Tl. : 02 51 12 58 17 Fax. : 02 51 12 58 97 http://www.lina.univ-nantes.fr/

logolinapetit.epslogoUnivNantes.epslogoEMN.epsCNRS.eps

Table des matieres

1 LINA 131.1 Presentation du LINA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.1.1 Genese et evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151.1.2 Equipes et themes de recherche du LINA . . . . . . . . . . . . . . . . . . . . . 15

1.2 Place du LINA dans son environnement . . . . . . . . . . . . . . . . . . . . . . . . . . 181.2.1 Region Pays de la Loire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.2.2 Federation AtlanSTIC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.2.3 PRES LUNAM et ED STIM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.2.4 Centre INRIA Rennes Bretagne Atlantique (CIRBA) . . . . . . . . . . . . . . . 211.2.5 Pole de competitivite Images et Reseaux . . . . . . . . . . . . . . . . . . . 211.2.6 Synthese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

1.3 Organisation et gouvernance du laboratoire . . . . . . . . . . . . . . . . . . . . . . . . 241.3.1 Modele dorganisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241.3.2 Les equipes de recherche du LINA . . . . . . . . . . . . . . . . . . . . . . . . . 251.3.3 Les trois services supports . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261.3.4 Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

1.4 Animation scientifique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311.4.1 Grand Seminaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311.4.2 Dejeuner sur le pouce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321.4.3 DHD et gouter des doctorants . . . . . . . . . . . . . . . . . . . . . . . . . . . 321.4.4 LINA-HEBDO et INTRA-LINA . . . . . . . . . . . . . . . . . . . . . . . . . . 321.4.5 Projets LINA ouverture et initiative . . . . . . . . . . . . . . . . . . . . . . 321.4.6 Seminaire LINA au vert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331.4.7 ED-STIM JDOC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

1.5 Ressources humaines / Population et croissance . . . . . . . . . . . . . . . . . . . . . . 341.5.1 Enseignants-chercheurs et chercheurs . . . . . . . . . . . . . . . . . . . . . . . 351.5.2 Personnels administratifs et techniques permanents . . . . . . . . . . . . . . . . 38

1.6 Ressources financieres / Budget . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411.6.1 Dotations recurrentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411.6.2 Fonds propres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421.6.3 Analyse et politique de redistribution aux equipes . . . . . . . . . . . . . . . . . 44

1.7 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461.7.1 Masters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461.7.2 Doctorants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

1.8 Bilan scientifique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

3

1.8.1 Faits marquants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511.8.2 Quinze publications distinguees . . . . . . . . . . . . . . . . . . . . . . . . . . 531.8.3 Synthese de lensemble des publications . . . . . . . . . . . . . . . . . . . . . . 541.8.4 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

1.9 Auto-evaluation (analyse SWOT) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 561.10 Concretiser la vision : le LINA demain . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

1.10.1 Retour sur les objectifs 2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571.10.2 Le changement dans la continuite . . . . . . . . . . . . . . . . . . . . . . . . . 571.10.3 Evolution des equipes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581.10.4 Evolution de la gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

1.11 Developpement des opportunites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621.11.1 INS2I et INRIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621.11.2 LabEx RennesNantes-Brest . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621.11.3 Plateforme technologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621.11.4 Quartier de la creation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631.11.5 Nouveau batiment LINA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631.11.6 Clarification de loffre de formations . . . . . . . . . . . . . . . . . . . . . . . 63

1.12 Executive Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 651.12.1 Key Figures 2006-2009 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 651.12.2 Highlights 2006-2009 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 651.12.3 Current four-year plan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66

2 ASCOLA 69General presentation (Chapeau-resume) . . . . . . . . . . . . . . . . . . . . . . . . . . 69

2.1 Team composition, 30/06/2010 (Composition de lequipe) . . . . . . . . . . . . . . . . 702.2 Salient facts, 2006-2010 (Faits marquants) . . . . . . . . . . . . . . . . . . . . . . . . . 712.3 Scientific foundations (Fondements scientifiques) . . . . . . . . . . . . . . . . . . . . . 73

2.3.1 Aspect-Oriented Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . 732.3.2 Software composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 732.3.3 Cloud, cluster and grid programming . . . . . . . . . . . . . . . . . . . . . . . 74

2.4 Applications and challenges (Applications et enjeux) . . . . . . . . . . . . . . . . . . . 742.5 New results 2006-2010 (Nouveaux resultats) . . . . . . . . . . . . . . . . . . . . . . . . 75

2.5.1 Aspect-Oriented Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . 752.5.2 Software composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772.5.3 Cloud, cluster and grid programming . . . . . . . . . . . . . . . . . . . . . . . 78

2.6 Software (Logiciels) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 782.7 Contracts and grants (Contrats et subventions) . . . . . . . . . . . . . . . . . . . . . . . 79

2.7.1 Collaborative projects (projets collaboratifs) . . . . . . . . . . . . . . . . . . . . 802.7.2 Formal cooperations (accords de cooperation) . . . . . . . . . . . . . . . . . . . 82

2.8 Visibility (Rayonnement) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822.8.1 Evaluation of research (evaluation de la recherche) . . . . . . . . . . . . . . . . 822.8.2 Promotion of scientific communities (Animation de la communaute) . . . . . . . 83

2.9 Education and research (Formation par la recherche) . . . . . . . . . . . . . . . . . . . 842.10 Governance (Gouvernance) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 852.11 Self-evaluation (Auto-evaluation) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

2.11.1 Strengths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

4

2.11.2 Weaknesses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 872.11.3 Opportunities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 872.11.4 Threats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

2.12 Perspectives 2012-2015 (Projet scientifique) . . . . . . . . . . . . . . . . . . . . . . . . 882.12.1 Reconciling black box and invasive composition . . . . . . . . . . . . . . . . . 882.12.2 High-level abstractions for the manipulation of architectures and their implemen-

tations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 892.12.3 Green IT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 902.12.4 Evolution of large-scale applications . . . . . . . . . . . . . . . . . . . . . . . . 90

2.13 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 912.13.1 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 912.13.2 Bibliographie externe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

3 COLOSS 95Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

3.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . . . . . . . . . . . . . . . . 963.2 Faits marquants 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 973.3 Fondements scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98

3.3.1 Specification et verification des modeles a objets et composants . . . . . . . . . 993.3.2 Integration de methodes formelles et analyse multifacette . . . . . . . . . . . . . 99

3.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1003.4.1 Systemes critiques, communicants, heterogenes, embarques . . . . . . . . . . . 1013.4.2 Internet du futur (architectures, composants et services surs) . . . . . . . . . . . 101

3.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 1013.5.1 Elaboration dun modele a composant formel et multi-services . . . . . . . . . . 1013.5.2 Verification des composants et de leurs assemblages . . . . . . . . . . . . . . . 1023.5.3 Multiformalisme et analyse multifacette . . . . . . . . . . . . . . . . . . . . . . 103

3.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1053.7 Contrats et subventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

3.7.1 Projets collaboratifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

3.8.1 Evaluation de la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1073.8.2 Animation de la communaute . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

3.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1103.10 Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1103.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1113.12 Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113

3.12.1 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 1133.12.2 Bibliographie externe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

4 MODAL 117Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

4.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . . . . . . . . . . . . . . . . 1184.2 Faits marquants 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1194.3 Fondements scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1214.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

5

4.4.1 Les systemes dinformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1224.4.2 Les systemes ubiquitaires et/ou ambiants . . . . . . . . . . . . . . . . . . . . . 122

4.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 1234.5.1 Theme - Modeles de specification et de conception darchitectures logicielles . . 1234.5.2 Theme - Modeles devolutions structurale et comportementale darchitectures

logicielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1244.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1264.7 Contrats et subventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

4.7.1 Contrats directs avec des entreprises . . . . . . . . . . . . . . . . . . . . . . . . 1284.7.2 Contrats et projets institutionnels . . . . . . . . . . . . . . . . . . . . . . . . . 1304.7.3 Accords de cooperation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

4.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1314.8.1 Evaluation de la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1314.8.2 Animation de la communaute . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

4.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1374.10 Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1374.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384.12 Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384.13 Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139


5 AeLoS 143Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143

5.1 Composition de lequipe au 1/09/2010 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1435.2 Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144

5.2.1 Description du projet scientifique et objectifs . . . . . . . . . . . . . . . . . . . 1455.2.2 Strategie scientifique : fil conducteur . . . . . . . . . . . . . . . . . . . . . . . . 1475.2.3 Facteurs de reussite et de developpement . . . . . . . . . . . . . . . . . . . . . 148

5.3 Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485.3.1 Bibliographie externe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148

6 GDD 151Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151


6.3.1 Gestion transparente des donnees en environnement distribue . . . . . . . . . . . 1556.3.2 Integration de participants autonomes . . . . . . . . . . . . . . . . . . . . . . . 155

6.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1566.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 157

6.5.1 Mediation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1576.5.2 Requetes de type top-k en environnement largement distribue . . . . . . . . . . 1586.5.3 Acces aux donnees en contexte semantiquement heterogene . . . . . . . . . . . 1586.5.4 Confidentialite des donnees . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1586.5.5 Replication des donnees dans les systemes distribues . . . . . . . . . . . . . . . 159

6

6.5.6 Gestion de lincertitude des donnees . . . . . . . . . . . . . . . . . . . . . . . . 1596.5.7 Test des systemes pair-a-pair . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1606.5.8 Gestion de modeles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1606.5.9 Memoires transactionnelles pour ordinateurs multi-curs . . . . . . . . . . . . . 161


6.7.1 Contrats directs avec des entreprises . . . . . . . . . . . . . . . . . . . . . . . . 1656.7.2 Projets collaboratifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656.7.3 Accords de cooperation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168




7 GRIM 183Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183


7.3.1 Descriptions concises de masses de donnees . . . . . . . . . . . . . . . . . . . . 1867.3.2 Indexation et interrogation de donnees . . . . . . . . . . . . . . . . . . . . . . . 187


7.5.1 Representations parcimonieuses pour analyser, interroger et naviguer . . . . . . 1887.5.2 Representations parcimonieuses et donnees distribuees . . . . . . . . . . . . . . 189






7

8 COD 211Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211


8.3.1 Fouille et apprentissage de regles . . . . . . . . . . . . . . . . . . . . . . . . . 2158.3.2 Ingenierie des ontologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2168.3.3 Visualisation des connaissances . . . . . . . . . . . . . . . . . . . . . . . . . . 216

8.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2178.4.1 Reseaux sociaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2178.4.2 Applications bio-medicales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218

8.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 2198.5.1 Fouille de regles : mesures de qualite . . . . . . . . . . . . . . . . . . . . . . . 2198.5.2 Fouille visuelle interactive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2198.5.3 Analyse structurelle de reseaux sociaux . . . . . . . . . . . . . . . . . . . . . . 2208.5.4 Reseaux bayesiens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2208.5.5 Ingenierie des ontologies : similarites semantiques et alignement . . . . . . . . . 2208.5.6 Fouille et optimisation combinatoire . . . . . . . . . . . . . . . . . . . . . . . . 2218.5.7 Biomedical : inference de donnees manquantes en genotypage et recherche dho-

mologues distants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2218.5.8 Decision et theorie des jeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222


8.7.1 Contrats directs avec des entreprises . . . . . . . . . . . . . . . . . . . . . . . . 2248.7.2 Projets collaboratifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225




9 COMBI 245Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245


9.3.1 Axe Genomique comparative : combinatoire, algorithmique, complexite . . . . . 2489.3.2 Axe Biologie des systemes : modelisation probabiliste, systemes dynamiques,

theorie des graphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2499.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250

9.4.1 Axe Genomique comparative . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250

8

9.4.2 Axe Biologie des systemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2509.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 251

9.5.1 Genomique Comparative . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2519.5.2 Biologie des systemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252




9.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2599.10 Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2609.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261

9.11.1 Rearrangements Genomiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 2619.11.2 Modelisation de la dynamique du vivant . . . . . . . . . . . . . . . . . . . . . . 261

9.12 Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2629.13 Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264

9.13.1 Publications de reference de lequipe hors periode . . . . . . . . . . . . . . . . 2649.13.2 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 2649.13.3 Bibliographie externe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267

10 CONTRAINTES 271Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271


10.3.1 Classification de contraintes et filtrage . . . . . . . . . . . . . . . . . . . . . . . 27310.3.2 Contraintes dynamiques et problemes surcontraints . . . . . . . . . . . . . . . . 27410.3.3 Solveurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27410.3.4 Continu et discret . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274

10.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27410.4.1 Problemes de placement en liaison avec la logistique . . . . . . . . . . . . . . . 27410.4.2 Emplois du temps avec contraintes reglementaires . . . . . . . . . . . . . . . . 27510.4.3 Energie et centre de calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275

10.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 27510.5.1 Premier resultat: problemes de placement multidimensionnels . . . . . . . . . . 27510.5.2 Deuxieme resultat: nouveaux modeles dautomates . . . . . . . . . . . . . . . . 27610.5.3 Troisieme resultat: algorithmes de filtrages sur des graphes . . . . . . . . . . . . 276


10.7.1 Contrats directs avec des entreprises . . . . . . . . . . . . . . . . . . . . . . . . 27910.7.2 Projets collaboratifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281


10.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287

9

10.10Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28810.11Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28910.12Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29010.13Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291

10.13.1 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 291

11 MEO 295Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295


11.3.1 Analyse par intervalles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29711.3.2 Programmation par contraintes . . . . . . . . . . . . . . . . . . . . . . . . . . . 29811.3.3 Optimisation globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299


11.5.1 Langages de modelisation et transformation de modeles . . . . . . . . . . . . . 29911.5.2 Algorithmique parallele . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30011.5.3 Resolution de contraintes numeriques . . . . . . . . . . . . . . . . . . . . . . . 30011.5.4 Optimisation globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30111.5.5 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301




11.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30611.10Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30711.11Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30711.12Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30811.13Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308


12 ROOM 313Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313


12.3.1 Theme optimisation multiobjectif . . . . . . . . . . . . . . . . . . . . . . . . 31812.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320

12.4.1 Domaine dapplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32012.4.2 Enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320

10

12.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 32112.5.1 Methode en deux phases multiobjectif . . . . . . . . . . . . . . . . . . . . . . . 32112.5.2 Methode branch and bound multiobjectif . . . . . . . . . . . . . . . . . . . . . 32112.5.3 Algorithmes pour la resolution du probleme daffectation lineaire multiobjectif . 32212.5.4 Algorithmes pour la resolution du probleme de sac-a-dos multiobjectif unidi-

mensionnel en variable binaires . . . . . . . . . . . . . . . . . . . . . . . . . . 32212.5.5 Metaheuristiques multiobjectif . . . . . . . . . . . . . . . . . . . . . . . . . . . 32212.5.6 Optimisation de la capacite dinfrastructures ferroviaires . . . . . . . . . . . . . 32312.5.7 Preferences et optimisation multi-objectif . . . . . . . . . . . . . . . . . . . . . 32312.5.8 Avancees sur les travaux plus recents . . . . . . . . . . . . . . . . . . . . . . . 32312.5.9 Travaux portes personnellement par Matthias Ehrgott . . . . . . . . . . . . . . . 323




12.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33012.10Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33112.11Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33312.12Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33412.13Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334

12.13.1 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 334

13 OPTI 341Fusion des equipes MEO et ROOM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341

13.1 Composition de lequipe au 1/09/2010 . . . . . . . . . . . . . . . . . . . . . . . . . . . 34213.2 Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342

14 TALN 347Chapeau-resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347


14.3.1 Decouverte et analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35014.3.2 Comparaison et alignement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351

14.4 Applications et enjeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35114.4.1 Multilinguisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35114.4.2 Multimodalite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35214.4.3 Recherche dinformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352

14.5 Nouveaux resultats pour la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . . 35214.5.1 Decouverte et analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35214.5.2 Comparaison et alignement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354

14.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354

11

14.7 Contrats et subventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35614.7.1 Contrats directs avec des entreprises . . . . . . . . . . . . . . . . . . . . . . . . 35614.7.2 Projets collaboratifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35714.7.3 Accords de cooperation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361


14.9 Formation par la recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36614.10Gouvernance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36814.11Auto-evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368

14.11.1 Decouverte et analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36914.11.2 Comparaison et alignement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369

14.12Projet scientifique 2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36914.12.1 Decouverte et analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37014.12.2 Comparaison et alignement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37114.12.3 Acquisition et Apprentissage . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37114.12.4 Elaboration de ressources linguistiques et logiciels libres . . . . . . . . . . . . . 371

14.13Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37214.13.1 Publications de reference de lequipe dans la periode . . . . . . . . . . . . . . . 37214.13.2 Bibliographie externe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377

Glossaire 381

12

UMR 6241LINA

Initialement reconnu FRE en 2004, reconduit en 2006, le Laboratoire dInformatique de Nantes At-lantique (LINA) est devenu UMR 6241 en janvier 2008 avec trois tutelles : lUniversite de Nantes, lEcoledes Mines de Nantes (EMN) et le CNRS.

Avec un large spectre de competences dans le domaine des Sciences et Technologies de lInfor-mation et de la Communication (STIC), le LINA releve des sections 7 du Comite National de laRecherche Scientifique et 27 du Conseil National des Universites (CNU). Il est rattache au nouvel In-stitut des Sciences Informatiques et de leurs Interactions (INS2I) du CNRS. Le perimetre scientifiquedINS2I couvre lensemble des recherches du LINA en matiere dalgorithmique, de programmation,de modelisation, de decision, dapprentissage, de base de donnees et de recherche dinformation. Lestravaux du LINA relevent egalement de grands axes societaux vises par lINS2I dont la biologie et lasante (bio-informatique), le monde digital avec les services et les contenus (Internet du Futur) ainsique lenvironnement avec loptimisation de lenergie informatique verte. Finalement, les equipes de

13

LINA.epshttp://www.lina.univ-nantes.fr/http://www.cnrs.fr/ins2i/

14 Bilan 20062009 et projet 2012-2015 LINA

recherche du LINA participent a plusieurs GDR du CNRS dont ASR, BIM, GPL, I3 et IM ainsi quaplusieurs projets ANR des programmes ARPEGE, CONTINT et VERSO.

Au 30 juin 2010, pres de 160 personnes (67 enseignants-chercheurs, 3 chercheurs, 14 ITA/IATOS,62 doctorants, 6 ATER, 4 post-doctorants, et 6 ingenieurs de developpement associes a des contrats derecherche) composent le laboratoire et sont heberges sur deux sites distants dune dizaine de kilometres,celui de la Lombarderie et celui de la Chantrerie. Le site de la Lombarderie regroupe une grande moitiedu laboratoire et ses services supports accueillis par la Faculte des Sciences, le site de la Chantrerie reunitlautre moitie du LINA au sein de deux ecoles dingenieurs : lEMN et PolytechNantes.

Le LINA resulte de la reunion en 2004 de lInstitut de Recherche en Informatique de lUniversite deNantes (IRIN) et du departement informatique de lEMN. Le CPER 2000-2006 et le CNRS ont joue unrole de catalyseur dans ce rapprochement qui a abouti a la creation du LINA.

Lorganisation originelle du laboratoire en equipes de recherche fonctionnant en mode projet a permisune gestion souple et controlee de ses evolutions. Ce modele base sur la definition de projets scientifiquescollectifs facilite la mise en uvre, avec les tutelles, dune politique de contrat dobjectifs dont est exclule saupoudrage des ressources. En facilitant les reponses aux appels doffre des agences de moyens ,il accrot les taux de succes et participe a lautonomie financiere des equipes.

Aujourdhui, le LINA joue un role central dans le developpement des STIC que ce soit au niveau dela Region Pays de la Loire (PdL) ou a celui inter-regional de laxe Nantes-Rennes.

Le laboratoire est avec lIRCCyN (UMR 6597) et lIREENA (EA 1770) membre de la federationAtlanSTIC (FR 2819) creee en 2006. Il est associe a lecole doctorale Sciences et Technologies delInformation et de Mathematiques (ED-STIM) du PRES de LUniversite de Nantes, Angers, le Mans(LUNAM) et collabore regulierement avec le LERIA dAngers dans le domaine de loptimisation et descontraintes et le LIUM dans le domaine du traitement de la parole.

Depuis son origine, Le LINA accueille des equipes projets du Centre INRIA de Rennes BretagneAtlantique (CIRBA) dans les domaines du logiciel et des systemes distribues. Il est le laboratoire nan-tais implique dans le comite de selection et de validation des projets du pole de competitivite mondial Images et Reseaux (IR) transverse aux deux Regions Bretagne et Pays de la Loire.

Notes de lecture

Ce texte constitue une introduction de la direction au bilan et au projet scientifique du laboratoire quisont presentes equipe par equipe dans la suite de ce rapport. Nous avons interprete les recommandationsde lAERES en demandant a chaque equipe de rediger selon un meme canevas son bilan 2006-2009,son auto-evaluation et son projet scientifique 2012-2015. Chaque chapitre sappuie sur une selectiondes publications de reference annexees en bibliographie. Un autre document independant constitue labibliographie exhaustive de lunite sur la periode devaluation.

Cette introduction se termine par un resume en anglais (executive summary de la section ??)recapitulant le bilan et les principaux objectifs.

Afin de rendre ce document plus concis et plus interactif, nous utilisons des liens actifs rouges (macro href de Latex) etayant le discours par des informations externes. Ces informations supplementaires(et leur url) napparaissent pas dans la version papier.

http://www.agence-nationale-recherche.fr/programmes-de-recherche/appel-detail/programme-systemes-embarques-et-grandes-infrastructures-arpege-appel-a-projets-general-2008/http://www.agence-nationale-recherche.fr/programmes-de-recherche/appel-detail/?tx_saap_pi1[uid]=157http://www.agence-nationale-recherche.fr/programmes-de-recherche/appel-detail/?tx_saap_pi1[uid]=160http://www.paysdelaloire.fr/politiques-regionales/recherche-universite/http://www.irccyn.ec-nantes.fr/http://www.atlanstic.net/http://edstim.univ-nantes.fr/http://www.lunam.fr/http://www.univ-angers.fr/laboratoire.asp?ID=11http://www.inria.fr/rennes/http://www.images-et-reseaux.com/

LINA 15

1.1 Presentation du LINA

1.1.1 Genese et evolution

Le positionnement scientifique du LINA est le resultat dune quinzaine dannees de travail, de re-structurations et de choix strategiques. Pour le realiser, nous nous sommes appuyes sur ces elementsprincipaux :

le developpement des activites de recherche et denseignement les plus visibles de lIRIN et dudepartement informatique de lEMN ;

la complementarite scientifique avec les autres laboratoires STIC de Nantes, Rennes et Angers ; une adequation de nos competences aux grands enjeux scientifiques et societaux de linformatique

tels que decrits dans les series detudes prospectives regionales, nationales et europeennes ; une construction du laboratoire basee sur une dizaine dequipes de taille assez homogene et aux

projets scientifiques bien identifies.

Ces choix ont ete faits par les deux directions successives du LINA (F. Benhamou puis P. Cointe), enconcertation prealable avec les tutelles, puis en accord avec le conseil de laboratoire et les responsablesdequipe. Ils ont beneficie des evaluations regulieres du laboratoire (en 2002, 2004 et 2007) par le CNRS,la MSTP et le GEM mais aussi par la commission devaluation de lINRIA pour ce qui concerne les deuxEPI (voir section 1.2.4). Au niveau regional, ces choix ont ete confortes par les expertises regulieres ef-fectuees a loccasion des deux derniers CPER ( COM 2000-2006 et STIC et Calculs 2007-2013 )pour les Pays de la Loire.

Enfin, la mise en place des comites de selection en 2009 a ete lopportunite de constituer un vivierdexperts regulierement sollicites pour participer aux recrutements des nouveaux E/C permanents, re-crutements qui sont un element clef de la strategie de developpement du laboratoire. La presence de cesexperts a nos concours est bien sur loccasion dechanger sur la strategie devolution de nos equipes derecherche.

1.1.2 Equipes et themes de recherche du LINA

Historiquement, le LINA a structure et developpe ses equipes de recherche et ses formations doctor-ales autour de deux grands axes : les architectures logicielles distribuees (ALD) et les systemesdaide a la decision (SAD). Au niveau du Grand Ouest, ce positionnement cible les deux domaines du logiciel et de la decision . Ces domaines etaient et restent complementaires de ceux developpesa lIRCCyN de Nantes ( cybernetique ), a lIRISA et a lINRIA de Rennes ( Internet du Futur ) etau LERIA dAngers ( optimisation ).

Laxe ALD repond aux grands enjeux nes de deux caracteristiques duales de levolution des systemesdinformation (materiels et logiciels) : leur ubiquite (par exemple les terminaux mobiles, les systemes en-fouis) et leur extreme rapidite devolution et de diffusion principalement liee a Internet. A ceux-ci, il fautajouter lexplosion du volume et de la complexite des donnees et des programmes comme les donneesmultimedias et les composants/services heterogenes. Ces questions sont principalement abordees par nostravaux sur les architectures logicielles ; les nouveaux paradigmes de programmation (langages daspectset de composition) ; la gestion distribuee de donnees complexes (par exemple multimedia), en particulierdans le contexte du developpement de linformatique en nuage.


FIGURE 1.1 Les equipes du LINA en juin 2010, les deux EPI figurent en bleu.

Laxe SAD traite des nouvelles methodes et des nouveaux outils lies a la migration dune utilisa-tion historiquement calculatoire (calcul scientifique), puis gestionnaire (systemes dinformation den-treprise) de linformatique vers la prise en compte dune dimension strategique (gestion et extraction desconnaissances, resolution et optimisation) au cur de nombreuses problematiques economiques et so-ciales. Les travaux portent aussi bien sur les aspects symboliques que sur les aspects numeriques concer-nant laide a la decision, depuis les fondements (combinatoire, statistiques, analyse numerique, logique)jusquaux prototypes logiciels de recherche. Ils abordent et approfondissent des questions tant fonda-mentales quappliquees en bio-informatique, optimisation globale et multi-objectif, programmation parcontraintes, fouille de textes et de donnees, et traitement de la langue naturelle.

Certains des verrous comme le passage a lechelle des modeles et ladaptabilite des systemes sontcommuns a nos deux axes de recherche. Ils resultent de levolution des domaines historiques de linfor-matique comme la theorie des langages, la combinatoire/complexite, lanalyse numerique, la rechercheoperationnelle, les bases de donnees, les langages de programmation, le genie logiciel et lintelligenceartificielle qui constituent les socles scientifiques de nos recherches.

Plus precisement, les equipes du LINA presentees en figure 1.1 couvrent les thematiques scientifiquessuivantes :

Architectures logicielles distribuees : Gestion de donnees distribuees et masse de donnees avec les deux equipes ATLAS-GDD

(P. Lamarre) et ATLAS-GRIM (M. Gelgon). Leur intersection scientifique realise lEPI ATLAS(P. Valduriez).

Genie du logiciel et de la programmation avec les equipes ASCOLA (M. Sudholt), COLOSS(C. Attiogbe) et MODAL (M. Oussalah). COLOSS et MODAL fusionnent en septembre 2010pour former lequipe AELOS (C. Attiogbe). ASCOLA (M. Sudholt) est egalement equipe projetINRIA (EPI) rattachee au centre de Rennes.

DDessins/EquipesLina.ps

LINA 17

Systemes daide a la decision : Contraintes discretes et continues, contraintes globales, optimisation globale et multi-

objectif avec les equipes : Contraintes (N. Beldiceanu), MEO (L. Granvilliers) et ROOM(X. Gandibleux). MEO et ROOM fusionnent en septembre 2010 pour former lequipe OPTImisa-tion (L. Granvilliers).

Genomique comparative et biologie des systemes avec lequipe ComBi (I. Rusu). Fouille de donnees, extraction et gestion des connaissances, apprentissage statistique, visuali-

sation de donnees avec lequipe COD (P. Kuntz). Modeles formels des langages, alignement et comparaison de corpus, analyse multimodale,

apprentissage automatique avec lequipe TALN (B. Daille).

Lorganisation du LINA en equipes de recherche nest pas antagoniste au developpement de projetsinterdisciplinaires. Les evolutions des equipes TALN, ComBi et COD temoignent de letablissement deliens perennes avec les linguistes, les biologistes et les historiens pour ne citer queux. Autre exemplede cette permeabilite, les cooperations entre les equipes ASCOLA et Contraintes sur lapplication descontraintes a loptimisation des ressources energetiques dans les centres de donnees et plus recemmentles actions transverses presentees en section 1.4.5.

Le modele dequipe LINA nest pas unique et donne lieu a plusieurs variations en particulier dans sataille et le couplage des sous thematiques traitees. Il est en particulier compatible avec celui des equipesprojets INRIA dont le perimetre est redefinissable annuellement et doit egalement permettre au LINA departiciper a la proposition de laboratoire dexcellence STIC Grand Ouest sur lInternet du Futur .


1.2 Place du LINA dans son environnement

Le developpement du LINA sinscrit dans lecoysteme STIC Nantais en synergie avec : laRegion Pays de la Loire, la federation de recherche AtlanSTIC, le PRES LUNAM et son ecole doc-torale lED-STIM, le centre INRIA de Rennes Bretagne Atlantique et le pole de competitivite Images etReseaux.

1.2.1 Region Pays de la Loire

FIGURE 1.2 Synergies inter-equipes LINA au travers des projets regionaux MILES et BIL.

Le CPER 2000-2006 est a lorigine de la creation du LINA et depuis 2000, le conseil Regional nacesse de jouer un role important dans le developpement du laboratoire en particulier au travers de sapolitique de soutien a la recherche via differents appels a projets.

Scientifiquement, les processus de selection et de suivi de ces projets par des experts nationauxsont autant doccasions devaluer et de conforter les projets scientifiques des equipes. Financierement,cette politique regionale se traduit par le financement de bourses de these et de post-docs ainsi que parlacquisition dequipements de recherche specifiques. Nous detaillons ici sa contribution a levolution duprojet LINA dans sa globalite.

Projet MILES 2007-2009 et BIL 2007-2009

Les deux projets MILES ET BIL ont ete lances par le Conseil Regional pour realiser un biseau entreles deux CPER. La figure 1.2 resume la participation des equipes du LINA a ces deux projets.

MILES dote dun financement de dix bourses de these, a servi a identifier puis a renforcer quatreaxes de developpement STIC en Pays de la Loire :

1. Systemes daide a la decision (responsables P. Depince IRCCyN/MCM et X. GandibleuxLINA/ROOM) ;

http://www.paysdelaloire.fr/politiques-regionales/recherche-universite/http://www.atlanstic.net/http://www.lunam.fr/http://edstim.univ-nantes.fr/http://www.inria.fr/rennes/http://www.images-et-reseaux.com/DDessins/Miles.ps

LINA 19

2. Gestion de donnees multimedia (responsables B. Daille LINA/TALN et M. Gelgon LINA/GRIM) ;

3. Ingenierie du logiciel (responsables C. Attiogbe LINA/COLOSS et M. Sudholt LINA/ASCOLA) ;

4. Telecommunications mobiles (responsables S. Toutain IREENA/CNRF et H. GundelIREENA/MF).

Similairement, le projet de Bio-Informatique Ligerienne (BIL) a permis la rencontre de onze equipesen informatique (dont ComBi et COD au LINA, MOVES a lIRCCyN) et en biologie (INSERM etINRA), Lun des resultats de BIL a ete lorganisation de la conference nationale JOBIM a Nantes en2009. un autre, le developpement de la plate-forme STIC et Sante Ouest Genopole .

Appels a projets recherche PdL 2009 - . . .

Depuis 2009, le CCRRDT de la Region PdL a mis en place un appel annuel a projets portant sur troisvolets : thematiques structurees (TS), emergence collective (EC) et paris scientifiques (PS).

Dans le prolongement de laxe MILES/Multimedia, lequipe TALN est a linitiative du nouveauprojet structurant DEPART 1. Ce projet sur le traitement multimodal de la langue ecrite et parlee reunitles equipes IRCCyN/IVC et LIUM/Parole (du Mans).

Incube par MILES/SAD, le projet LigeRO 2009-2012 vise a lemergence dun groupement ligerienen recherche operationelle. Ce projet pilote par E. Pinson du LISA/MSD dAngers rassemble les equipesROOM et Contraintes du LINA mais egalement SLP de lIRCCyN et MOA du LERIA.

Independamment de MILES, la Region accompagne la mutation a Nantes de chercheurs confirmes.C. de la Higuera vient de beneficier dun package daccueil constitue dune bourse de these, dunebourse de post-doc et de 40 ke de frais de fonctionnement sur cinq ans. Cette aide doit accelerer le lance-ment de travaux dans le domaine de lapprentissage (inference grammaticale) transverses aux equipesTALN, COD et GRIM.

CPER STIC et Calculs 2007-2013

Le nouveau CPER STIC et Calculs participe au developpement du LINA sous trois formesdifferentes :

1. financement du nouveau batiment LINA/AtlanSTIC dont la construction en 2012 doit creer unenouvelle dynamique en repondant aux attentes exposees en section 1.11.5 ;

2. acquisition dequipements materiels specifiques comme le systeme immersif de realite virtuelleassocie au projet de musee virtuel initie par lequipe COD. Les photos 1.3 illustrent le domede visualisation permettant lexploration par navigation 3D de structures topologiques tridimen-sionnnelles comme celles construites par des insectes sociaux (voir lANR MESOMORPH) ;

3. developpement dune plateforme technologique dinnovation et de transfert logiciel pour pro-mouvoir et diffuser les prototypes logiciels developpes par les equipes de recherche. Ce projetinitialement porte et cofinance dans le cadre du CPER par lEMN et les collectivites locales adeja permis le recrutement de deux ingenieurs de recherche en charge du developpement des logi-ciels CHOCO (equipe Contraintes) et ATL (equipe ATLAS-GDD). La section 1.11.3 precise lesperspectives devolution de cette plateforme pour le prochain quadriennal.

1. Documents Ecrits et Paroles - Reconnaissance et Traduction.

http://www.info.univ-angers.fr/bil/index.phphttp://www.jobim2009.fr/http://www.projet-depart.org/http://www.polytech.univ-nantes.fr/COD/?Nos_activit%E9s_de_recherche:Projets_contractuels:Actions_nationales&month=8&year=2008http://www.emn.fr/z-info/choco-solver/http://www.eclipse.org/atl/


FIGURE 1.3 Dome de visualisation (equipe COD).

1.2.2 Federation AtlanSTIC

La federation AtlanSTIC (FR 2819) creee en 2006, regroupe les trois laboratoires nantais STIC :lIRCCyN, lIREENA et le LINA. Des lorigine, une premiere serie dappels a projets financespar la federation et ses trois laboratoires a permis de lancer des projets interdisciplinaires destinesa une meilleure connaissance mutuelle des equipes dinformatique, dautomatique, de robotique etdelectronique. La federation joue aujourdhui un role dinterface entre ses laboratoires et les collec-tivites locales. A ce titre, elle assure la gestion et le pilotage du projet MILES et du CPER STIC etCalculs deja evoques. Elle sollicite puis donne le premier avis sur les reponses faites par les equipesde ses laboratoires aux appels a projets STIC du Conseil Regional.

Du point de vue du LINA, AtlanSTIC a permis de developper des cooperations durables aveclIRCCyN dans les domaines de la bio-informatique (equipe MOVES, projet BIL), de laide a ladecision (equipes SLP et MCM, projets MILES/SAD et LigeRO), du multimedia (equipe IVC, projetsMILES/Multimedia et DEPART) et de la robotique (equipe MCM, ANR/SIROPA).

1.2.3 PRES LUNAM et ED STIM

Ce quadriennal a vu egalement la creation en juin 2009 du PRES de LUniversite de Nantes, Angerset le Mans (LUNAM). Sa premiere concretisation est la mise en place de la nouvelle ecole doctorale Sciences et Technologies de lInformation et de Mathematiques (STIM, ED 503) qui associe en susdes laboratoires de la federation AtlanSTIC, le LERIA et le LISA a Angers, le LIUM au Mans et lesdeux UMR de Maths de Nantes (J. Leray) et dAngers.

DDessins/dome1.psDDessins/dome2.ps

LINA 21

1.2.4 Centre INRIA Rennes Bretagne Atlantique (CIRBA)

LINRIA a joue et continue a jouer un role important dans le projet scientifique du LINA. Il nousparat donc important de rappeler ici les grandes etapes de nos relations avec le centre INRIA de Rennes :

1. Des 1991, le ministere de lindustrie a charge lINRIA delaborer le programme pedagogique desa nouvelle Ecole des Mines creee a Nantes avec une dorsale STIC. Cette charge a ete confieea J.-P. Banatre alors responsable de lIRISA, le developpement des equipes de recherche dudepartement informatique de lEMN et les recrutements associes se faisant ensuite naturellementen concertation avec lIRISA ;

2. creation simultanee des deux equipes INRIA, ATLAS (BD distribuees, P. Valduriez) et OBASCO(genie logiciel, P. Cointe) en 2003. Equipe commune a lUniversite de Nantes pour ATLAS et alEMN pour OBASCO ;

3. apres les evaluations INRIA, reconduction dATLAS en 2006 et transformation dOBASCO enASCOLA (M. Sudholt) en 2009, P. Cointe ayant pris la direction du LINA. ASCOLA (avec Atlan-Mod) est lune des neuf equipes du theme Logiciel, conception de systemes, architectures duCIRBA. ATLAS est pour sa part lune des huit equipes du theme Systemes distribues, Internetdes services ;

4. creation hors LINA de lequipe AtlanMod en juillet 2008 a partir de la thematique ingenieriedes modeles dATLAS. Cette equipe initiee par J. Bezivin est candidate a rejoindre le LINApour le prochain quadriennal sous la direction de Jordi Cabot, laureat de la chaire EMN-INRIA2009 ;

5. projet dEPI TASC (Theory, Algorithms and Systems for Constraints) actuellement en cours din-struction. TASC est construite comme un sous-ensemble de lequipe Contraintes, N. Beldiceanudevant assurer la double direction TASC/Contraintes ;

6. arret prevu de lEPI ATLAS en decembre 2010 suite a la mutation de P. Valduriez a Montpellier.P. Molli (Nancy/ECOO) lui succedera a la tete de lequipe LINA ATLAS-GDD apres linterimassure par P. Lamarre.

Aujourdhui, la nouvelle denomination du Centre INRIA de Rennes Bretagne Atlantique refletela presence des equipes nantaises dont limplication dans la vie du centre est significative puisque ledirecteur du LINA est un invite permanent du comite mensuel des projets.

Pour les E/C du LINA, la contribution principale de lINRIA est davoir permis cinq delegations etcinq detachements sur la periode 2006-2009. Dans huit cas, ces delegations se sont effectuees au seinde leur propre equipe (ASCOLA et ATLAS) a Nantes. Mais dans deux cas, le beneficiaire a ete accueillidans une equipe rennaise (Symbiose et Bunraku). Au dela de lencouragement a preparer une HDR 2,cette politique de delegation a permis de tisser des nombreux liens entre les equipes de Nantes et deRennes tout en contribuant a diffuser la culture de lequipe projet.

1.2.5 Pole de competitivite Images et Reseaux

Le pole Images et Reseaux est avec System@TIC, Minealogic et Aerospace Valley lun desquatre poles STIC a vocation mondiale. Il se veut au croisement des technologies des TIC, des

2. Trois des detachements INRIA se sont deja conclus par la soutenance dune HDR (voir les details en 1.5.1) et deuxautres HDR sont en voie de finalisation.


telecommunications et de laudiovisuel et prepare lInternet du Futur aussi bien au niveau des infra-structures que des contenus numeriques et de leurs usages. Contrairement a ce que pourrait laisser penserson nom Images et Reseaux , les thematiques scientifiques du pole recouvrent celles des equipes duLINA pour ce qui concerne le logiciel et les services (ASCOLA, GDD/AtlanMod et AeLoS), la distribu-tion des contenus (GDD) et la gestion des contenus multimedia (GRIM et TALN).

Lune des caracteristiques du tissu industriel STIC nantais est detre tourne vers le tertiaire et detreirrigue par un reseau de PMI/PME innovantes et de societes de services travaillant dans le domaine desgrands systemes dinformation pour les banques, les assurances, les transports (SNCF) et les grandesadministrations (direction des impots, affaires etrangeres). Contrairement a celui de la Bretagne, ce tissusouffre de labsence de laboratoires R&D de grands groupes comme Orange, Alcatel Lucent ou Thales.Le pole Images et Reseaux, transverse aux deux regions, constitue une oppportunite de faire collaborersur le Grand Ouest, R&D des grands groupes, PME et laboratoires de recherche. Pour aller dans ce sens,la gouvernance du pole est organisee autour de triplettes representatives de ces trois colleges, que ce soitau niveau de son CA, ou de son Comite de Selection et de Validation (CSV) des projets.

Sur les 21 ANR auxquelles participent le LINA, trois projets (Blanc/SAFIM@GE, CON-TINT/MeTRICC et ARPEGE/CESSA) ont ete prealablement labellises par le pole et sont donc menesavec un nombre significatif de partenaires industriels : IS2T (machines virtuelles Java), Vision Objects(reconnaissance decriture manuscrite), Sodifrance (transformation de codes patrimoniaux) et Cap Gem-ini installes sur son territoire.

Cette synergie avec les acteurs industriels du pole doit encore saccentuer avec laide de la technopoleAtlanpole egalement tres impliquee dans la composante ligerienne du pole. En effet, la direction du LINAtravaille en lien etroit avec les charges de mission dAtlanpole a lincubation de nouvelles entreprises(comme I2ST, Obeo et Performanse SA) et a la mise en relation des PMI/PME avec ses equipes derecherche. Par exemple, dans le cadre de lappel a projets specifique PMI/PME-labo du pole Imageset Reseaux, les equipes GDD et GRIM sont les partenaires academiques des projets Happy (ingenieriedes modeles), E-MAP (gestion des informations associees aux reseaux sociaux) pilotes par les jeunessocietes nantaises Obeo, Blue XLM, IMINFO, Human Connect et Trident Media Guard (TMG).

1.2.6 Synthese

La figure1.4 resume la place du LINA dans son environnement, en presentant les equipes derecherche des autres laboratoires avec lesquelles nous entretenons des cooperations fortes.

http://www.images-et-reseaux.com/fr/les-thematiques/http://www.images-et-reseaux.com/fr/les-projets/projets-finances.phphttp://www.is2t.com/en/index.phphttp://www.visionobjects.com/http://www.sodifrance.fr/http://www.atlanpole.fr/

LINA 23

FIGURE 1.4 Positionnement des equipes du LINA relatif a lIRCCyN, au LERIA et a lIRISA/CIRBA.

DDessins/EnvironLINA.ps


1.3 Organisation et gouvernance du laboratoire

LABORATOIRE DINFORMATIQUE DE NANTES ATLANTIQUEDirecteur : Pierre COINTE Directrice Adjointe : Batrice DAILLE

Responsable administrative : Anne-Franoise QUIN

THEMECONTRAINTES ET OPTIMISATION

Contraintes (10)Programmation par contraintes

Nicolas BELDICEANU

MEO (4)Mthodes Ensemblistes pour lOptimisation

THEME

GESTION DE DONNEES

ATLAS*- GDD (8)Gestion des Donnes Distribues

Philippe LAMARRE

ATLAS*- GRIM (4)

AXE SYSTEMES DAIDE A LA

DECISION

AXE ARCHITECTURES LOGICIELLES

DISTRIBUEES

Les quipes de recherche Les services

INFORMATIQUEJean-Yves LEBLIN

VALORISATION DE LA RECHERCHE

Jean-Paul SACHET

AFFAIRES GENERALESAnne-Franoise QUIN

AssistanteAnnie BOILOT

ASSISTANTES DEQUIPE

GESTIONNAIREF. PIQUET

AdjointeAnna EVEN

Support utilisateursSabine BEAURAIN

Support utilisateursDimitri BOEUF

MAJ. 30/06/2010

UMR 6241Assistante de

DirectionAnnie BOILOT

INTERFACE LINA DPT INFO

I. CONDETTE

Mthodes Ensemblistes pour lOptimisation

Laurent GRANVILLIERS

ROOM (2)Recherche Oprationnelle et Optimisation

Multi-objectif

Xavier GANDIBLEUX

ATLAS*- GRIM (4)Gestion, Rsum, Interrogation et

apprentissage sur les Masses de donnes

Marc GELGON

TALN (10)Traitement automatique du Langage Naturel

Batrice DAILLE

ComBI (4)Combinatoire et Bio-Informatique

Irena RUSU

COD (10)Connaissance et Dcision

Pascale KUNTZ

THEMEGENIE DU LOGICIEL

ASCOLA*(11)Langages daspects et de composition

Mario SDOLHT

COLOSS (5)COmposants et LOgiciels SrS

Christian ATTIOGBE

MODAL (2)MOdlisation dArchitectures Logicielles

Mourad OUSSALAH

ASCOLA et ATLAS sont galement quipes projet INRIA Centre Rennes Bretagne Atlantique

DEQUIPE

UFR SCIENCESI. CONDETTECOLOSS MEO

MODAL ROOM

A. LARDENOISCOMBI TALN

D. MENEUTALN

F. PIQUETGDD

EMNC. FOURNYD. GAUDINCONTRAINTES

ASCOLA

POLYTECHS. LEROUXCOD - GRIM

Dimitri BOEUF

EFFECTIFS

E/C : 67CHERCHEURS : 3DOCTORANTS : 62ITA/IATOS (EQTP) : 10.40

FIGURE 1.5 Organigramme general du LINA au 30 juin 2010.

1.3.1 Modele dorganisation

Compte tenu de lextreme variabilite du paysage de la recherche ces dernieres annees (mise en placede lANR, de lAERES, du 7eme PCRD, des poles de competitivite, des instituts Carnot, de lallianceAllistene, des investissements davenir), lune des proprietes critiques dune organisation de recherche estdevenue sa capacite dadaptation a son environnement. De ce point de vue, la jeunesse et la taille du LINAconstituent deux atouts a condition daccompagner de maniere continue les evolutions du laboratoire etde prendre en compte ses specificites, a savoir celles dun laboratoire multi-sites, multi-tutelles et multi-composantes, forme principalement denseignants-chercheurs (67 E/C pour seulement 3 chercheurs).

Lune des cles dans la matrise de ces evolutions nous parat etre une structuration en equipes derecherche fonctionnant sur un mode projet inspire de lINRIA. En effet, ce modele base sur la definitionde projets scientifiques collectifs est a meme de :

DDessins/general.ps

LINA 25

susciter lemulation entre les equipes, en particulier au niveau de lexpression de projets am-bitieux ;

doter les equipes dun programme de recherche cible susceptible daccrotre leur visibilite et leurattractivite ;

garantir a ces equipes une taille critique leur permettant daugmenter leur taux de succes dans leursreponses aux appels doffre des agences de moyens ;

favoriser lemergence de jeunes chercheurs susceptibles delaborer un nouveau projet scientifiqueet porter a terme de nouvelles equipes ;

developper les synergies entre equipes du laboratoire ou avec dautres partenaires en explicitant les interfaces pour les collaborations potentielles. Cela est vrai au sein du LINA, de la federationAtlanSTIC, mais egalement avec les laboratoires partenaires comme lIRISA et lINRIA a Rennesou le LERIA et le LISA a Angers.

Lorganigramme presente en figure 1.5 resume lorganisation generale du laboratoire qui repose surles deux principes pragmatiques suivants :

1. lequipe de recherche est la brique de base de la construction ;

2. ces equipes sont associees a un site principal, le principe de realite etant de maintenir les E/Csur leur lieu denseignement : les departements denseignement de la FST, de lEMN et de Poly-techNantes.

1.3.2 Les equipes de recherche du LINA

Le tableau 1.6 precise le site dhebergement principal de chacune des equipes, donne des elementsquantitatifs relatifs a sa taille : nombre de permanents, nombre de doctorants et capacite dencadrementen nombre de HDR.

Equipes Site E/C et C dont C dont HDR Doctorants Ratio EC/D EC +D

ATLAS-GRIM Polytech 4 2 4,5 1,13 8,5

ATLAS-GDD FST 8 1 1 6 0,75 14,0

ASCOLA EMN 11 1 3 12,5 1,14 23,5

COLOSS IUT-FST 5 1 1,5 0,30 6,5

MODAL FST 2 1 4 2,00 6,0

S/Total axe ALD 30 2 8 28,5 0,95 58,5

CONTRAINTES EMN-FST 10 4 4,5 0,45 14,5

ROOM FST 2 1 2,5 1,25 4,5

MEO FST 4 1 1 1 0,25 5,0

ComBI FST 4 2 3 0,75 7,0

COD Polytech 10 3 14,5 1,45 24,5

TALN FST-IUT 10 4 8 0,80 18,0

S/Total axe SAD 40 1 15 33,5 0,84 73,5

Total 70 3 23 62 0,89 132,0

FIGURE 1.6 Morphologie des equipes du LINA au 30 juin 2010.

Les reunions des equipes COLOSS/MODALAeLoS et MEO/ROOMOptimisation realisees enseptembre 2010, les neuf equipes du LINA disposent chacune dau moins deux professeurs/HDR pouren assurer la direction scientifique 3 ce qui nous semble etre un gage de perennite. Elles reunissent entrequatre et onze permanents, constituant trois categories de taille :

3. A la seule exception de ATLAS-GDD, mais celle-ci a ete levee en septembre 2010 avec le recrutement de Pascal Molli.

DDessins/Georges.ps


importante pour ASCOLA, COD, Contraintes et TALN (dix a onze permanents) ; moyenne pour AeLoS, GDD et OPTImisation (six a huit permanents) ; petite pour GRIM et ComBi (quatre permanents).

1.3.3 Les trois services supports

La direction et ses trois services supports sont presents sur le site principal avec pour missiondorchestrer lensemble des activites de recherche et de transfert menees par les equipes du laboratoire.

Le service des affaires generales

Ce service est constitue de huit personnes, dont six permanents et deux CDD. Il travaille sous ladirection de A.-F. Quin (IE CNRS) en etroite liaison avec lassistante de direction (A. Boilot, AI CNRS)a la gestion au quotidien du laboratoire. Ce service central a ete tres significativement enrichi depuis lepassage UMR et sest vu confier les grandes missions suivantes : animer et coordonner le groupe das-sistantes dequipes, elaborer le budget puis assurer la gestion financiere de lunite, gerer les ressourceshumaines et assurer les interactions avec les departements denseignement.

Assistantes dequipes : la priorite de la nouvelle direction a ete de developper un pool dassis-tantes au service des equipes de recherche et reparti sur les trois sites. Chaque assistante est chargeedu support administratif dun groupe dequipes dont la taille et les volants dactivites contractuellessont comparables. Cette organisation repose sur les associations suivantes :

1. A. Lardenois (T CDI LINA, 0.8 ETP) est en charge de TALN et ComBi a la FST ;

2. F. Piquet (ADT Universite) est en charge dATLAS-GDD a la FST ;

3. I. Condette (ADT Universite, 0.5 ETP) est en charge dAeLoS et OPTimisation a la FST ;

4. D. Gaudin (3D EMN, 0.5 ETP) et C. Fourny (AGT EMN, 0.2 ETP) sont en charge dAS-COLA et Contraintes a lEMN ;

5. S. Leroux (CDD ADT LINA, 0.5 ETP) est en charge de COD et GRIM a Polytech.

A ce groupe, il convient dajouter la presence dune assistante dequipe INRIA en charge desequipes ASCOLA, ATLAS et AtlanMod. Elle est hebergee sur le site de lEMN mais rattacheedirectement au centre INRIA de Rennes. De ce fait, elle napparat pas dans notre organigrammegeneral de la figure 1.5.

Budget et gestion financiere : A.-F. Quin est en charge de lelaboration du budget de fonction-nement de lunite etabli a partir de ses dotations recurrentes. Elle supervise egalement la gestionet la justification financiere des contrats du LINA geres par lUFR Sciences.Sous sa responsabilite, en liaison avec les assistantes dequipes, le bureau financier du decanat etla delegation regionale du CNRS, F. Piquet est en charge de la gestion des credits de lunite viales deux systemes dinformation XLAB et SIFAC. La mise en place de SIFAC a lUniversite deNantes nest pas allee sans de tres nombreux problemes, tous dailleurs non encore resolus.Finalement, la coordination administrative et financiere du STREP FP7 TTC a conduit au recrute-ment par lequipe TALN de D. Meneu (IE CDD LINA).

Relation avec les departements denseignement : I. Condette travaille a mi-temps pour le labo-ratoire et a mi-temps pour le departement informatique de la FST avec lequel nous partageons leslocaux sur le site de la Lombarderie. Ce role de trait dunion est important pour la mise en place

LINA 27

des comites de selection, le recrutement des ATER et toutes les activites qui concernent nos deuxstructures.Similairement, sur le site de la Chantrerie, D. Gaudin et C. Fourny travaillent a la fois pour deuxequipes du laboratoire et pour le departement informatique de lEMN.

DRH : ce service est egalement implique dans la gestion des ressources humaines avec le re-crutement des personnels ITA/IATOS Universite et CNRS, laccueil des nouveaux membres dulaboratoire (E/C, doctorants, post-docs et invites etrangers) et le suivi de carriere des personnelsCNRS et ITA/IATOS. De fait, il joue un role clef dans la definition de lidentite du LINA et con-tribue au panachage des cultures CNRS, Universite et Ecoles dingenieurs.

Le service de la valorisation de la recherche

Ce service a ete mis en place par la nouvelle direction en janvier 2008 pour valoriser les travauxdes equipes de recherche en interaction avec nos tutelles (et leurs composantes) et nos partenaires. Il estaujourdhui constitue de J.-P. Sachet (MA EMN) aide par A. Boilot (AI CNRS) egalement assistante dedirection.

Ses missions se caracterisent par un soutien a plusieurs niveaux aux equipes de recherche portantprincipalement sur :

la mise en place pour le laboratoire du comite de suivi des theses et des contrats doctoraux enliaison avec lecole doctorale ;

la diffusion et le suivi des appels doffres institutionnels (Universite, CNRS INS2I, Region PdL,ministere, poles de competitivite. . .) ;

laide au montage des projets regionaux, ANR et europeens, des conventions CIFRE et des contratsdirects avec les entreprises ;

la communication interne (redaction de LINA-HEBDO, gestion des contenus dINTRA-LINA 1.4.4) et externe (gestion des contenus du site Web, participation aux reseaux des corresp-ondants communication des tutelles/composantes) ;

la preparation de la reunion mensuelle des responsables dequipe et la redaction des comptesrendus associes ;

la compilation des indicateurs annuels mesurant lactivite de lunite, la production des supports decommunication (dont les rapports de recherche) et la preparation du COS.

A moyen terme, ce service doit etre developpe pour prendre a son compte la gestion des partenariatsincluant les relations industrielles et internationales.

Le service informatique

Ce service qui gere en sus du LINA, le departement informatique de la FST et la federation derecherche AtlanSTIC, est constitue de quatre personnes, deux permanents et deux CDD. Place sous ladirection de J.-Y. Leblin (IGE Universite), ses missions sont principalement :

de garantir le fonctionnement du reseau et des serveurs informatiques sur le site de la FST vingt-quatre heures par jour et sept jours par semaine (le 24/7), a la fois pour les membres du laboratoireet ceux du departement informatique qui partagent le meme batiment ;

dadministrer le parc informatique et de venir en support aux utilisateurs Windows (S. Beaurain,T CNRS), et Linux (D. Boeuf, CDD T Universite) ;

de veiller au renouvellement du materiel et participer a lelaboration du budget LINA pour sa ligneequipement informatique ;


de gerer linfrastructure du site Web et de lintranet du LINA mais egalement de la federation At-lanSTIC, dadministrer larchive ouverte HAL-LINA et de maintenir la bibliographie des equipes(A. Even, CDD ASI Universite) ;

de developper ponctuellement des services Web ou des Wikis pour les equipes organisant uneconference, gerant un projet collaboratif type ANR ou devant diffuser un logiciel.

Le service informatique opere en liaison avec la Division des Systemes dInformation (DSI) de lUni-versite et collabore avec les services correspondants de lEMN et de Polytech qui sont geres directementpar la direction de ces ecoles.

Ce service sera renforce fin 2010 par le recrutement dun IE CNRS (concours ouvert a lautomne) encharge de la diffusion des logiciels des equipes de lunite. Ce recrutement est la premiere etape dans laconstitution dun groupe dingenieurs de developpement en appui aux equipes du laboratoire produisantdes prototypes logiciels avances (ce projet de plateforme technologique est detaille en section 1.11.3).Par ailleurs, la perennisation des deux postes Universite (T et AI) actuellement en CDD est une priorite(recurrente) de la direction du laboratoire.

1.3.4 Gouvernance

La figure 1.7 resume les differents comites et conseils qui sont en charge de la gouvernance du labo-ratoire. Le LINA sappuie sur cinq structures de prospective, de management, de gestion et danimation :le comite dorientation strategique, le comite de direction, le conseil du laboratoire, la reunion des res-ponsables dequipe et un groupe de charges de mission. A ces cinq structures, sajoute lorganisationdassemblees generales aux moments clefs de la vie du laboratoire, en particulier ceux associes auxcontrats quadriennaux.

COS : Le conseil dorientation strategique reunit annuellement les representants des trois tutelles etla direction du laboratoire. Pour celle-ci, cest loccasion de discuter sur la base dun contrat dobjectifsavec le president de lUniversite de Nantes, le VPCS recherche, le directeur de lEcole des Mines etson directeur adjoint, le delegue regional du CNRS et, depuis la creation dINS2I, son directeur et sondirecteur adjoint scientifique referent du LINA.

Il convient egalement de mentionner le comite de concertation annuel reunissant lUniversite deNantes, lEMN et lINRIA pour le suivi des conventions regissant les EPI nantaises. Le directeur duLINA participe a cette reunion annuelle bilan/perspectives.

CODIR : Le comite de direction du laboratoire est constitue du directeur (P. Cointe, EMN), de la direc-trice adjointe (B. Daille, Universite de Nantes), de lanimateur de la reunion des responsables dequipe(C. de la Higuera, Universite de Nantes), du responsable de la formation doctorale (J. Martinez, Poly-techNantes), de la responsable administrative (A.-F. Quin, CNRS). Peuvent participer egalement a cesreunions le responsable de la valorisation de la recherche (J.-P. Sachet, EMN) et lassistante de direction(A. Boilot, CNRS). Nous avons veille a conserver un certain equilibre entre lappartenance des membresde ce comite aux differentes composantes du LINA et leur domaine dexpertise scientifique. Lequipede direction se reunit hebdomadairement. Elle est chargee dassister le directeur dans la preparation deschoix strategiques et dans la mise en uvre de la politique scientifique du laboratoire, qui sont debattusen reunion des responsables dequipes et en conseil de laboratoire.

LINA 29

LABORATOIRE DINFORMATIQUE DE NANTES ATLANTIQUEDirecteur : Pierre COINTE - Directrice Adjointe : Batrice DAILLE

Responsable administrative : Anne-Franoise QUIN

MAJ. 30/06/2010

UMR 6241

COMITE DES RESPONSABLES DEQUIPE

Animateur C. de la HIGUERA

ASCOLA M. SDHOLTATLAS-GDD P. LAMARREATLAS-GRIM M. GELGONCOD P. KUNTZCOLOSS C. ATTIOGBECOMBI I. RUSU

CONSEIL DORIENTATION STRATEGIQUEUNIVERSITE DE NANTES ECOLE DES MINES DE NANTES - CNRS

Assistante de Direction

Annie BOILOT

COMITE DE DIRECTION

P. COINTE DirecteurB. DAILLE Directrice adj.C. De la HIGUERA Animateur

Resp. equipeJ. MARTINEZ Affaires

doctoralesA-F. QUIN AdministrationJ-P. SACHET Valorisation

CONSEIL DE LABORATOIRE

C. ATTIOGBE EluP. BRUNEAU NommP. COINTE PrsidentB. DAILLE de droitA. GOLDSTZEJN NommN. JUSSIEN NommP. LAMARRE EluJY. LEBLIN EluJ. MARTINEZ Elu

CHARGES DE MISSION

COMMISSION DES DOCTORANTS

J. MARTINEZ Prsident

G. FERTIN - T. LEDOUX - E. MORIN

ANIMATION SCIENTIFIQUE

SEMINAIRES

A. DIKOVSKY D. EVEILLARD

AXE SYSTEMES DAIDE A LA

DECISION

AXE ARCHITECTURES

LOGICIELLES DISTRIBUEES

Les quipes de recherche Les services

INFORMATIQUE

Jean-Yves LEBLIN

VALORISATION DE LA RECHERCHE

Jean-Paul SACHET

AFFAIRES GENERALESAnne-Franoise

QUIN

COMBI I. RUSUCONTRAINTES N. BELDICEANUMEO L. GRANVILLIERSMODAL M. OUSSALAHROOM X. GANDIBLEUXTALN B. DAILLE

J-P. SACHET Valorisationde la recherche

A. BOILOT Assistante dedirection

J. MARTINEZ EluE. MORIN EluG. RASCHIA EluI. RUSU NommeM. SUDHLT NommD. TAMZALIT ElueC. TRUCHET ElueM. VERNIER Elu

A. DIKOVSKY D. EVEILLARD

ACMO S. BEAURAIN

BTIMENT C. ATTIOGBE

COM J-P. SACHET

FORMATION A. GOLDSTZEJN

FIGURE 1.7 Organigramme de gouvernance au 30/06/2010.

DDessins/gouvernance.ps


Conseil de laboratoire : Le conseil du LINA est regi par les regles en vigueur definies dans le cadre dela contractualisation des unites associees au CNRS. A loccasion de son renouvellement realise en fevrier2008, et pour prendre en compte la pyramide des ages decrite en figure 1.12, la nouvelle direction napas voulu faire de distinction entre rang A et rang B pour la designation des membres elus. Le conseilse reunit mensuellement et il est consulte sur tous les points lies a la vie du laboratoire. Ces reunionsdonnent lieu dans les 48 heures a un releve de decisions diffuse a lensemble des membres du LINA,la publication du compte rendu formel ayant lieu a lissue de son approbation le mois suivant. Son roleest de donner un avis sur la politique scientifique, budgetaire et sur la gestion des ressources humainesde lunite. Le conseil est a lorigine du reglement interieur adopte en 2009. Les priorites scientifiques,les allocations des bourses de theses, la constitution des comites de selection, levolution des equipesde recherche, les modifications dans lorganisation du laboratoire sont des sujets regulierement mis alordre du jour. Dans certaines circonstances exceptionnelles (classement des ATER, constitution descomites de selection), le conseil du laboratoire se reunit conjointement avec le conseil du departementdenseignement de la Faculte des Sciences pour les postes de lUFR. Les departements denseignementde lEMN, de Polytech et de lIUT ne disposant pas de conseil, ces discussions ont lieu directement entreleur direction et celle du laboratoire.

Reunion des responsables dequipe : Cette reunion mensuelle se tient a lheure du dejeuner endephasage de deux semaines avec le conseil de laboratoire. Elle a vocation a faire circuler linforma-tion entre la direction et les responsables dequipe sur tous les sujets relevant de la gestion scientifiquede lunite. Cette reunion, animee par C. de la Higuera (qui a succede a P. Valduriez dans la fonctionde directeur scientifique), donne lieu a un compte rendu informel a destination des membres du conseilde laboratoire. Par ailleurs, depuis 2008, une mise au vert des responsables dequipes et de leurs ad-joints est organisee a chaque fin dannee civile. Elle permet aux equipes de sinformer mutuellement desresultats marquants de lannee, lensemble de ces presentations etant suivi dune discussion generale surles perspectives de developpement scientifique du laboratoire.

Commission des theses : Cette commission travaille en amont du conseil de laboratoire et en liaisonavec lED-STIM sur le suivi du deroulement des theses et des habilitations, lallocation des boursesinstitutionnelles et le devenir des doctorants. Presidee par J. Martinez (Polytech), elle est constituee desmembres du LINA egalement membres du conseil de lED-STIM : respectivement G. Fertin (FST),T. Ledoux (EMN) et E. Morin (IUT). Elle a ete chargee de la mise en place des nouvelles proceduresassociees au comite de suivi des theses (CST) et au contrat doctoral. Le CST a pour but dassurer lebon deroulement du travail de these et de detecter tout dysfonctionnement eventuel. In fine, lobjectif estdameliorer la qualite des theses produites et de veiller a leurs soutenances dans le respect de la limitedes trois ans. Ce comite est constitue pour chaque doctorant des le debut de sa these. Il est propose parle(s) directeur(s) de these et le doctorant et transmis pour avis au conseil de lED. Il est compose desencadrants du doctorant et de deux personnalites scientifiques nappartenant pas a lequipe de recherchedaccueil, et pour au moins lune dentre elles externe au LINA.

Charges de missions : Reunis au sein du comite de gestion (COGES), ils participent a la gestion dulaboratoire et leurs domaines de competences concernent les problemes de securite (ACMO, S. Beaurain,T CNRS), la gestion du batiment principal et laffection de ses bureaux (C. Attiogbe, PR), la formationdes personnels (correspondant formation CNRS et Universite, A. Goldsztejn, CR CNRS), la communica-tion (J.-P. Sachet, MA), lorganisation des seminaires (A. Dikovsky PR et D. Eveillard MdC), la politique

LINA 31

de renouvellement des materiels informatiques (M. Christie, MdC).

Conseil scientifique externe : Il nexiste pas pour lheure de comite scientifique, les experts des deuxCPER (M. Adiba, Y. Caseau et J.-G. Ganascia entre 2000 et 2007), ceux du projet regional MILES(P. Baptiste, P. Gros et M. Riveill) ainsi que les membres des comites de selection 2009 et 2010 ayantjoue implicitement ce role pour linstant. Neanmoins, la direction prevoit de mettre en uvre celui-cipour la fin du quadriennal, une fois la visite de lAERES realisee.

1.4 Animation scientifique

Chaque equipe est responsable de sa gouvernance et en charge de son animatio