Département Informatique Responsable :M. Huchard Responsables adjoints : A. Jean-Marie, F. Koriche, P. Séébold Département Informatique Responsable :M

Département Informatique

Responsable : M. Huchard

Responsables adjoints : A. Jean-

Marie,F. Koriche,P. Séébold


Responsable : M. Huchard

Responsables adjoints : A. Jean-

Marie,P. Séébold

Enseignants-Chercheurs

63

Chercheurs 17dont HDR 32

Doctorants 80TOTAL (EC, C, D) 160+ Associés 13

LIRMM > Département Informatique > Présentation

• UM2 (57)

• CNRS (14)

• UM3 (5)

• CNAM (1)

• ENSAM (1)

• INRIA (1)

• UM1 (1)

160 chercheurs, enseignants-chercheurs et doctorants

Présentation

Doctorants informatique

Présentation générale LIRMM > Bilan 02-05 > Production > Formation par la recherche

32%

14%19%

4%

2%7%

14%

4%1%

3%

Allocation AMN

ACI BDI co-financée

Bourses autres établissements CIFRE

Financements industriels Europe

Bourses étrangères Autres (co-tutelle, etc.)

31%

4%3%

4%18%

8%

4%3%

11%

14%

Allocataires Moniteurs Normaliens depuis 2000

F. DE MONTGOLFIER (M. Habib) 2000-2003F. MATHIEU (M. Habib, L. Viennot) 2001-2004C. CRESPELLE (M. Habib, C. Paul) 2003 B. BUI XUAN (M. Habib, C. Paul) 2004T. FERNIQUE (V. Berthé) 2004J.-M. ROCHE (A. Jean-Marie), 2006


Algorithmique

Bioinformatique, cryptographie, graphes, réseaux Bases de données et systèmes d'information

Médiation, fouille de données, entrepôts de données, e-learning, web sémantique, maintien de la cohérence Génie logiciel

Langages, objets, composants, modèles Intelligence artificielle

Apprentissage, contraintes, représentation des connaissances, systèmes multi-agents Interaction homme-machine

Langage naturel, hypermédia, visualisation

LIRMM > Département Informatique > Thèmes scientifiques

Fort développement des recherches pluridisciplinaires

Informatique Biologie

Linguistique

RobotiqueMicroélectronique

Chimie

Droit, économieE-Learning

Information géographique

Mathématiques

Physique

Documentation CEMAGREF

IRDCIRAD

ENSC

INRA-ENSAM

INA

CERSA UM1UO-MLR

LPTA,UM2

CEM2-IES,UM2,LIRMM

I3M,UM2

MusiqueIRCAMISEM

LIRMM

CEMAGREF

UM3

IGH

Génopole

CIRADIRD

Informatique et Pluridisciplinarité


CEFE

Département informatique

11 équipes-projets

APR Algorithmique et Performance des Réseaux ARITH Arithmétique Informatique D'OC Données, Objets, Composants IDC Ingénierie des Données et des Connaissances IHMH Interaction Homme-Machine et Hypermédias KAYOU Agents, Apprentissage et Contraintes MAB Méthodes et Algorithmes pour la Bioinformatique RCR Représentation de Connaissances et Raisonnement TAL Traitement Algorithmique du Langage TATOO Extraction de connaissances, motifs, ontologies VAG Visualisation et Algorithmique des graphes


APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Algorithmique et Performances des Réseaux

Resp. R. Giroudeau, A. Jean-Marie

Réseaux, Protocoles, Algorithmes, Performances, Qualité de service,Ordonnancement, Recherche opérationnelle

Exemples de contributions

•Ordonnancement avec communications hiérarchiques : non- approximabilité et algorithmes approchés avec garanties de performances

•Gestion active de files d’attente : mécanisme réduisant la gigue (fluctuations du temps de réponse)

•Problèmes de routage : complexité et approximation

Equipes-projets INFO


Ateliers A10, A12, A14

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

ARITHmétique Informatique

Resp. V. Berthé

Arithmétique (des ordinateurs), Géométrie discrète, Cryptographie, Pavages, Combinatoire des mots, Numération, Physique combinatoire


•Multiplication dans les corps finis ; exponentiation pour les courbes elliptiques•Combinatoire des mots en géométrie discrète•Modèles combinatoires en physique de la lumière



Ateliers A2, A8

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Données, Objets, Composants ModèlesResp. C. Dony, T. Libourel

Objets, Composants, Modèles pour le génie logiciel et les systèmes d’information. Modèles : définition, intégration, transformation. Langages : évolution, compilation, interprétation. Applications.

Exemples de contributions•RCA (Relational Concept Analysis) pour trans. de modèles•MDWeb : Modèle sémantique pour l’aide à la localisation•PRM : Classes + Types + MI + Compilation efficace•COSARC et SCL : Interprétation des langages de composants•RESYN : Application, modélisation de la chimie organique




APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Ingénierie des Données et des Connaissances

Resp. Z. Bellahsène

Bases de données, Intégration de données, maintien de la cohérence, systèmes distribués.


•Adaptation des transformées opérationnelles et des algorithmes collaboratifs au logiciel WorkSpace 3D

•Optimisation de requêtes en utilisant les vues matérialisées



Atelier A9

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Interaction Homme-Machine et Hypermédias

Resp. M. Nanard

Interaction homme-machine, Hypermédias, Multimédias, Documents,Recherche d’information, Musique, Adaptation


•IUHM, Information Unit Hypermedia Model•MCF, spécification multimédia par scénarios génériques•CHORD, caractérisation structurelle de morceaux de musique



APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Agents, Apprentissage, Contraintes

Resp. J. Ferber

Intelligence artificielle, Systèmes multi-agents, Apprentissage logique, Logiques non classiques, Programmation par contraintes, Services grille sémantique


•Algorithmes de propagation de contraintes•Apprentissage relationnel•Spécification d’agents en logique déontique




APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Méthodes et Algorithmes pour la Bioinformatique

Resp. O. Gascuel

Algorithmique, Combinatoire, Probabilités, Statistiques, Apprentissage,Analyse des données, Phylogénie, Analyse des séquences, Transcriptome, Protéome, Arbre de la vie, Malaria


•Reconstruction efficace de phylogénie (PHYML)•Évolution des séquences répétées•Analyse des données de puce à ADN



Atelier A5

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Représentation de Connaissances et Raisonnements

Resp. M.-L. Mugnier

Représentation de connaissances, Raisonnements, Graphes,Systèmes à base de connaissances et bases de données, Complexité et algorithmes, Annotation et recherche d’information


•Complexité de formalismes à base de graphes•Projets ANR SAPHIR et EIFFEL, européen LOGOS•Outils logiciels CoGITaNT et COGUI



Atelier A16

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Traitement Algorithmique du Langage

Resp. V. Prince

Syntaxe, Sémantique des textes, Sémantique lexicale, Pragmatique et dialogue


•Contraction automatique de textes•Classification supervisée de documents•Bases de connaissances lexicales



APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

TATOO - Extraction de connaissances dans de grandes bases de données : motifs et ontologies

Resp. M. Teisseire et D. Hérin

Extraction de connaissances, Fouille de données, Méthodes approximatives, Ontologies, Web sémantique


•Recherche de motifs séquentiels dans des données multi-dimensionnelles•Propagation d’annotation basée sur le contexte de citation



Atelier A6

APR

ARITH

D'OC

IDC

IHMH

KAYOU

MAB

RCR

TAL

TATOO

VAG

ALGO

BD/SI

GL

IA

IHM

Visualisation et Algorithmes de Graphes

Resp. C. Paul et S. Thomassé

Algorithmique, Combinatoire, Théorie des graphes, Structures multi-échelles, Visualisation-interaction


•Routage optimal pour des graphes petits mondes•Construction de vues zoomables et déformables centrées sur

un focus•Décompositions arborescentes de graphes




ICAR

Resp. W. Puech

Analyse et traitement des imagesVision par ordinateurCodage et protection des images et vidéosModélisation 3D, réalité virtuelle et augmentée

Equipe-projet ROB

LIRMM > Département robotique > Thèmes scientifiques

Ateliers A3, A20

Organisation de la journée

9h-10h Accueil (salle 2.57-séminaires)

10-11hA16 (salle E.223) A4 (salle 1.4) A12 (salle 2.56) A20 (salle E.217)

11h-12hA5 (salle E.223) A14 (salle 1.4) A3 (salle 2.56) A18 (salle E.217)

12h-13h30 Repas (salle 2.57)

13h30-14h30A6 (salle E.223) A22 (salle 1.4) A17 (salle 2.56) A10 (salle E.217)



Organisation de la journée

Salles de réunion Entrée (étage 2)

Salle 2.57 (séminaires)Salle 2.56 (conseil)

Etage 1Salle 1.4 (à gauche en sortant de la cafétéria)

Extension (au fond du laboratoire, étage 2)Salles E.217 et E.223