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

Présentation au sujet: "Département Informatique Responsable :M. Huchard Responsables adjoints : A. Jean-Marie, F. Koriche, P. Séébold Département Informatique Responsable :M."— Transcription de la présentation:

1 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

2 Enseignants- Chercheurs 63 Chercheurs 17 dont HDR 32 Doctorants 80 TOTAL (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

3 Doctorants informatique Présentation générale LIRMM > Bilan 02-05 > Production > Formation par la recherche Allocataires Moniteurs Normaliens depuis 2000 F. DE MONTGOLFIER (M. Habib) 2000-2003 F. MATHIEU (M. Habib, L. Viennot) 2001-2004 C. CRESPELLE (M. Habib, C. Paul) 2003 B. BUI XUAN (M. Habib, C. Paul) 2004 T. FERNIQUE (V. Berthé) 2004 J.-M. ROCHE (A. Jean-Marie), 2006

4 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

5 Fort développement des recherches pluridisciplinaires Informatique Biologie Linguistique Robotique Microélectronique Chimie Droit, économie E-Learning Information géographique Mathématiques Physique Documentation CEMAGREF IRD CIRAD ENSC INRA-ENSAM INA CERSA UM1 UO-MLR LPTA,UM2 CEM2-IES,UM2,LIRMM I3M,UM2 Musique IRCAM ISEM LIRMM CEMAGREF UM3 IGH Génopole CIRAD IRD Informatique et Pluridisciplinarité LIRMM > Département Informatique > Thèmes scientifiques CEFE

6 Département informatique 11 équipes-projets APRAlgorithmique et Performance des Réseaux ARITH Arithmétique Informatique D'OC Données, Objets, Composants IDCIngénierie des Données et des Connaissances IHMHInteraction 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 TATOOExtraction de connaissances, motifs, ontologies VAG Visualisation et Algorithmique des graphes LIRMM > Département Informatique > Thèmes scientifiques

7 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 dattente : 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

8 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

9 APR ARITH D'OC IDC IHMH KAYOU MAB RCR TAL TATOO VAG ALGO BD/SI GL IA IHM Données, Objets, Composants Modèles Resp. C. Dony, T. Libourel Objets, Composants, Modèles pour le génie logiciel et les systèmes dinformation. 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 laide à 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

10 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

11 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 dinformation, 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

12 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 dagents en logique déontique Equipes-projets INFO LIRMM > Département Informatique > Thèmes scientifiques Ateliers A4, A7, A18

13 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

14 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 dinformation 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

15 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

16 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 dannotation basée sur le contexte de citation Equipes-projets INFO LIRMM > Département Informatique > Thèmes scientifiques Atelier A6

17 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

18 ICAR Resp. W. Puech Analyse et traitement des images Vision par ordinateur Codage et protection des images et vidéos Modélisation 3D, réalité virtuelle et augmentée Equipe-projet ROB LIRMM > Département robotique > Thèmes scientifiques Ateliers A3, A20

19 Organisation de la journée 9h-10h Accueil (salle 2.57-séminaires) 10-11h A16 (salle E.223) A4 (salle 1.4) A12 (salle 2.56) A20 (salle E.217) 11h-12h A5 (salle E.223) A14 (salle 1.4)A3 (salle 2.56) A18 (salle E.217) 12h-13h30 Repas (salle 2.57) 13h30-14h30 A6 (salle E.223) A22 (salle 1.4) A17 (salle 2.56) A10 (salle E.217) 14h30-15h30 A21 (salle E.223) A9 (salle 1.4) A2 (salle 2.56) A7 (salle E.217) 15h30-16h30 A19 (salle E.223) A13 (salle 1.4) A8 (salle 2.56) A11 (salle E.217)

20 Organisation de la journée Salles de réunion Entrée (étage 2) Salle 2.57 (séminaires) Salle 2.56 (conseil) Etage 1 Salle 1.4 (à gauche en sortant de la cafétéria) Extension (au fond du laboratoire, étage 2) Salles E.217 et E.223