département informatique responsable :m. huchard responsables adjoints : a. jean-marie, f. koriche,...
TRANSCRIPT
Département Informatique
Responsable : M. Huchard
Responsables adjoints : A. Jean-
Marie,F. Koriche,P. Séébold
Département Informatique
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
Département Informatique
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é
LIRMM > Département Informatique > Thèmes scientifiques
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
LIRMM > Département Informatique > Thèmes scientifiques
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
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•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
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
Ateliers A11, A19, A22
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.
Exemples de contributions
•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
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•IUHM, Information Unit Hypermedia Model•MCF, spécification multimédia par scénarios génériques•CHORD, caractérisation structurelle de morceaux de musique
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•Algorithmes de propagation de contraintes•Apprentissage relationnel•Spécification d’agents en logique déontique
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
Ateliers A4, A7, A18
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
Exemples de contributions
•Reconstruction efficace de phylogénie (PHYML)•Évolution des séquences répétées•Analyse des données de puce à ADN
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•Complexité de formalismes à base de graphes•Projets ANR SAPHIR et EIFFEL, européen LOGOS•Outils logiciels CoGITaNT et COGUI
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•Contraction automatique de textes•Classification supervisée de documents•Bases de connaissances lexicales
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•Recherche de motifs séquentiels dans des données multi-dimensionnelles•Propagation d’annotation basée sur le contexte de citation
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
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
Exemples de contributions
•Routage optimal pour des graphes petits mondes•Construction de vues zoomables et déformables centrées sur
un focus•Décompositions arborescentes de graphes
Equipes-projets INFO
LIRMM > Département Informatique > Thèmes scientifiques
Ateliers A13, A17, A21
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)
14h30-15h30A21 (salle E.223) A9 (salle 1.4) A2 (salle 2.56) A7 (salle E.217)
15h30-16h30A19 (salle E.223) A13 (salle 1.4) A8 (salle 2.56) A11 (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