Les équipes

Département	Nom Équipe	Descriptif Équipe
D1.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
	CARAMBA	Cryptologie, arithmétique : matériel et logiciel
	GAMBLE	Geometric Algorithms & Models Beyond the Linear and Euclidean Realm
	TANGRAM	Recalage visuel avec des modèles physiquement réalistes
	MFX	Matter from Graphics
	PIXEL	Géométrie et Lumière
D2.Méthodes formelles	CARBONE	Cartographie des fonctionnalités et leurs corrélations
	MOCQUA	Théorie des calculs adverses, et sécurité
	MOSEL-VERIDIS	Méthodes formelles et applications
	PESTO	Proof Techniques for Security Protocols
	TYPES	Logique, Théorie de la démonstration et programmation
D3.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
D4.Traitement automatique des langues et des connaissances
	Équipe K	Connaissances, sciences des données, raisonnement et ingénierie
	ORPAILLEUR	Extraction et représentation de connaissances
	MULTISPEECH	Analyse, Perception et Reconnaissance automatique de la parole
	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
D5.Systèmes complexes et intelligence artificielle	CAPSID	Computational Algorithms for Protein Structures and Interactions
	BIRD	Building artificial Intelligence between trust, Responsibility and Decision
	BISCUIT	Intelligence neuromimétique
	LARSEN	Long-term Autonomy and interactions skills for Robots in a sensing ENvironment
	NEURORHYTHMS	Analysis and modeling of neural systems by a system neuroscience approach