-
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
4.13.1 Publications de reference de lequipe dans la periode . .
. . . . . . . . . . . . . 1394.13.2 Bibliographie externe . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 141
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.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . .
. . . . . . . . . . . . . . 1526.2 Faits marquants 2006-2010 . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1536.3
Fondements scientifiques . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 154
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 1626.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
165
6.7.1 Contrats directs avec des entreprises . . . . . . . . . .
. . . . . . . . . . . . . . 1656.7.2 Projets collaboratifs . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656.7.3
Accords de cooperation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 168
6.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 1686.8.1 Evaluation de la recherche
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1686.8.2
Animation de la communaute . . . . . . . . . . . . . . . . . . . .
. . . . . . . 171
6.9 Formation par la recherche . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 1726.10 Gouvernance . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1736.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 1746.12 Projet scientifique
2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 1756.13 Bibliographie . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 177
6.13.1 Publications de reference de lequipe dans la periode . .
. . . . . . . . . . . . . 1776.13.2 Bibliographie externe . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 182
7 GRIM 183Chapeau-resume . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 183
7.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . .
. . . . . . . . . . . . . . 1847.2 Faits marquants 2006-2010 . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1857.3
Fondements scientifiques . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 186
7.3.1 Descriptions concises de masses de donnees . . . . . . . .
. . . . . . . . . . . . 1867.3.2 Indexation et interrogation de
donnees . . . . . . . . . . . . . . . . . . . . . . . 187
7.4 Applications et enjeux . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 1877.5 Nouveaux resultats pour la
periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . .
188
7.5.1 Representations parcimonieuses pour analyser, interroger
et naviguer . . . . . . 1887.5.2 Representations parcimonieuses et
donnees distribuees . . . . . . . . . . . . . . 189
7.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 1917.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
192
7.7.1 Projets collaboratifs . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 1937.8 Rayonnement . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
7.8.1 Evaluation de la recherche . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 1957.8.2 Animation de la communaute . . .
. . . . . . . . . . . . . . . . . . . . . . . . 196
7.9 Formation par la recherche . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 1967.10 Gouvernance . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1987.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 1997.12 Projet scientifique
2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 2007.13 Bibliographie . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 203
7.13.1 Publications de reference de lequipe dans la periode . .
. . . . . . . . . . . . . 2037.13.2 Bibliographie externe . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 208
7
-
8 COD 211Chapeau-resume . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 211
8.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . .
. . . . . . . . . . . . . . 2128.2 Faits marquants 2006-2010 . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2138.3
Fondements scientifiques . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 215
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 2228.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
223
8.7.1 Contrats directs avec des entreprises . . . . . . . . . .
. . . . . . . . . . . . . . 2248.7.2 Projets collaboratifs . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
8.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 2288.8.1 Evaluation de la recherche
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2288.8.2
Animation de la communaute . . . . . . . . . . . . . . . . . . . .
. . . . . . . 229
8.9 Formation par la recherche . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 2328.10 Gouvernance . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2338.11 Auto-evaluation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 2348.12 Projet scientifique
2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 2368.13 Bibliographie . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 239
8.13.1 Publications de reference de lequipe dans la periode . .
. . . . . . . . . . . . . 2398.13.2 Bibliographie externe . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 243
9 COMBI 245Chapeau-resume . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 245
9.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . . .
. . . . . . . . . . . . . . 2469.2 Faits marquants 2006-2010 . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2469.3
Fondements scientifiques . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 248
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 2539.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
254
9.7.1 Projets collaboratifs . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 2559.8 Rayonnement . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257
9.8.1 Evaluation de la recherche . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 2579.8.2 Animation de la communaute . . .
. . . . . . . . . . . . . . . . . . . . . . . . 258
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.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . .
. . . . . . . . . . . . . . . 27210.2 Faits marquants 2006-2010 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27310.3 Fondements scientifiques . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 273
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 27710.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
278
10.7.1 Contrats directs avec des entreprises . . . . . . . . . .
. . . . . . . . . . . . . . 27910.7.2 Projets collaboratifs . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
10.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 28410.8.1 Evaluation de la
recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28410.8.2 Animation de la communaute . . . . . . . . . . . . . . .
. . . . . . . . . . . . 286
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.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . .
. . . . . . . . . . . . . . . 29611.2 Faits marquants 2006-2010 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29611.3 Fondements scientifiques . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 297
11.3.1 Analyse par intervalles . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 29711.3.2 Programmation par contraintes
. . . . . . . . . . . . . . . . . . . . . . . . . . . 29811.3.3
Optimisation globale . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 299
11.4 Applications et enjeux . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 29911.5 Nouveaux resultats pour
la periode 2006-2010 . . . . . . . . . . . . . . . . . . . . . . .
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 30211.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
302
11.7.1 Contrats directs avec des entreprises . . . . . . . . . .
. . . . . . . . . . . . . . 30311.7.2 Projets collaboratifs . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 30311.7.3
Accords de cooperation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 304
11.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 30411.8.1 Evaluation de la
recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30411.8.2 Animation de la communaute . . . . . . . . . . . . . . .
. . . . . . . . . . . . 306
11.9 Formation par la recherche . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 30611.10Gouvernance . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30711.11Auto-evaluation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 30711.12Projet scientifique
2012-2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 30811.13Bibliographie . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 308
11.13.1 Publications de reference de lequipe dans la periode . .
. . . . . . . . . . . . . 30811.13.2 Bibliographie externe . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
12 ROOM 313Chapeau-resume . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 313
12.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . .
. . . . . . . . . . . . . . . 31412.2 Faits marquants 2006-2010 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31612.3 Fondements scientifiques . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 317
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.6 Logiciels . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 32412.7 Contrats et subventions .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
324
12.7.1 Contrats directs avec des entreprises . . . . . . . . . .
. . . . . . . . . . . . . . 32512.7.2 Projets collaboratifs . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 32512.7.3
Accords de cooperation . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 327
12.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 32812.8.1 Evaluation de la
recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32812.8.2 Animation de la communaute . . . . . . . . . . . . . . .
. . . . . . . . . . . . 329
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.1 Composition de lequipe au 30/06/2010 . . . . . . . . . . .
. . . . . . . . . . . . . . . 34814.2 Faits marquants 2006-2010 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34914.3 Fondements scientifiques . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 350
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.8 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 36114.8.1 Evaluation de la
recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36114.8.2 Animation de la communaute . . . . . . . . . . . . . . .
. . . . . . . . . . . . 365
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.
-
16 Bilan 20062009 et projet 2012-2015 LINA
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 .
-
18 Bilan 20062009 et projet 2012-2015 LINA
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/
-
20 Bilan 20062009 et projet 2012-2015 LINA
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.
-
22 Bilan 20062009 et projet 2012-2015 LINA
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
-
24 Bilan 20062009 et projet 2012-2015 LINA
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
-
26 Bilan 20062009 et projet 2012-2015 LINA
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
;
-
28 Bilan 20062009 et projet 2012-2015 LINA
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
-
30 Bilan 20062009 et projet 2012-2015 LINA
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