Fiche Laboratoire - LRI

• Apprentissage et Optimisation (A&O-LR (LRI))

• Bioinformatique (BioInfo (LRI))

• Graphes, Algorithmes et Combinatoire (GALaC (LRI))

• Informatique Centrée sur l'Humain (HCC (LRI))

• Données et Connaissances Massives et Hétérogènes (LaHDAK (LRI))

• Systèmes Parallèles (ParSys (LRI))

• Réseaux & Optimisation Combinatoire et Stochastique (ROCS (LRI))

• Interaction Située Extrême (ExSitu (LRI))

• Interacting with Large Data (ILDA (LRI))

• Interaction située (In Situ (LRI))

• Database Optimizations and Architectures for Complex Large Data (OAK (LRI))

• Performance Optimization by Software Transformation and Algorithms & Libraries Enhancement (Postale (LRI))

• Thème Apprentissage et Optimisation (TAO (LRI))

• Certified Programs, Certified Tools, Certified Floating-Point Computations (Toccata (LRI))

• Vérification d'Algorithmes, Langages et Systèmes (VALS (LRI))