Les équipes

Département Nom Equipe Descriptif Equipe
Algorithmique, calcul, image et géométrie ABC Apprentissage et biologie computationnelle
ADAGIO Algorithmique Discrète et ses Applications à la Génomique et à l’Imagerie
ALICE Géométrie et Lumière
CARAMBA Cryptologie, arithmétique : matériel et logiciel
GAMBLE Geometric Algorithms & Models Beyond the Linear and Euclidean Realm
MAGRIT Augmentation visuelle d’environnements complexes
Méthodes formelles MOCQUA Théorie des calculs adverses, et sécurité
CARBONE Création en cours
DEDALE Développement de spécifications
MOSEL-VERIDIS Méthodes formelles et applications
PESTO Proof Techniques for Security Protocols
TYPES Logique, Théorie de la démonstration et programmation
Réseaux, systèmes et services RESIST (ex-MADYNES)

Supervision des Réseaux et des Services Dynamiques
SIMBIOT Conception et la validation de “smart” systèmes Cyber-Physiques
OPTIMIST Recherche opérationnelle pour les systèmes de décision hybrides et complexes
COAST Services et Coopération
Traitement automatique des langues et des connaissances CELLO Logique épistémique computationnelle
ORPAILLEUR Extraction et représentation de connaissances
MULTISPEECH Analyse, Perception et Reconnaissance automatique de la parole
READ Reconnaissance de l’écriture Et Analyse de Documents
SEMAGRAMME Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles
SMarT Statistical Machine Translation & Speech Modelization and Text
SYNALP Traitement automatique des langues naturelles par méthode statistique et symbolique
Systèmes complexes et intelligence artificielle CAPSID Computational Algorithms for Protein Structures and Interactions
BISCUIT Intelligence neuromimétique
KIWI Knowledge, Information and Web Intelligence
LARSEN Long-term Autonomy and interactions skills for Robots in a sensing ENvironment
NEUROSYS Analysis and modeling of neural systems by a system neuroscience approach

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine