Finished research teams

 A - B - C - E - F - G - I - J - L - M - N - O - P - R - S - T - V 
See also : list ordered by year.

Legend :

• Research-teams recognized as project-teams by INRIA

Finished research teams :

• A3 - Advanced analysis to code optimization
• ACACIA - Knowledge acquisition for aided design through agent interaction
• ADAGE - Applying discrete algorithms to genomics
• ADOPT - Ordered Classification Structures and Discrimination: Algorithms and Simulation
• ADP - Distributed Algorithms and Protocols
• AID - Knowledge Management For Cooperative Design
• AIDA - Modeling and Machine Learning for Data Interpretation and Decision Assistance
• AIR - Image Processing and Dynamic and Satellite Data
• AIR2 -
• AIRELLE - Representation and Languages
• ALADIN - Algorithms Adapted to Intensive Numerical Computing
• ALGO - Algorithms
• APACHE - Parallel algorithms and load sharing
• API - Parallel VLSI Architectures
• ARES - Architectures of networks of services
• ARMOR - Architectures and network models
• AS - Signal Processing and Control
• ATGC - Genome and Computing Group
• ATOLL - Software tools for natural language
• BIP - Biped Robot
• CAFE - Computer algebra and functional equations
• CAIMAN - Scientific computing, modeling and numerical analysis
• CARAVEL - Information Mediation Systems
• CERTILAB - Formal Specification and Certified Software
• CHARME - Compilation
• CHIR - Surgery, Informatics and Robotics
• CLOREC - Automatic classification and pattern recognition
• CODES - Coding and cryptography
• COMPLEX - Artificial Evolution and Fractals
• COMPOSE - Design and development of adaptive programs and systems
• CONGE - Geometric control for non-linear systems
• COQ - Formal Specifications and Program Validation
• CORDIAL - Human-machine spoken dialogue
• COSI - Codesign of Silicon Systems
• COSIVIE - COupling of models for the numerical SImulation in enVIronmEntal problems
• CRISTAL - Typed programming, modularity and compilation
• CROAP - Design and Implementation of Programming Tools
• EIFFEL - Cognition and Cooperation in Design
• EIFFEL2 - Cognition and cooperation in design
• EPATR - Real-Time Environment Project
• EPIDAURE - Medical imaging and robotics
• EURECA - Proof, Symbolic Computation and Logic
• FRACTALES - Fractals, complex models and artificial evolution
• GYROWEB - Dynamic graphs and the web graph
• ICARE - Instrumentation, control and architecture of advanced robots
• IDENT - Inverse Problems and Industrial Applications
• IDOPT - System identification and optimization in physics and environment
• IMAGIS - Models, Algorithms and Geometry for Computer Generated Image Graphics
• IPV6 - IPv6 - RSVP - ATM
• IS2 - Statistical Inference for Industry and Health
• ISA - Models, algorithms and geometry for computer graphics and vision
• JACQUARD - Software components weaving
• LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
• LEMME - Software and mathematics
• LOCO - Constraint Logic Programming
• LOGICAL - Logic and computing
• LORIASI - Loria in the Society of Information
• M3N - Multi-Models and Numerical Methods
• MACSI - Industrial system modeling, analysis and operation
• MADE - Multimedia Applications Development Environment
• MEIJE - Concurrency, Synchronization and Real-time Programming
• META2 - Mathematical and Computer Science Tools for Automatic Control
• MEVAL - Modeling and Performance Evaluation of Computer Systems
• MIAOU - Mathematics and Computing in Automatic Control and Optimization for the User
• MIRHO - Objects, types and prototypes : semantics and validation
• MISTRAL - Modeling of Computer Systems and Telecommunication Networks : Research and Software Development
• MOCOA - Methods of Optimal Control, Optimization and Applications
• MODBIO - Computational models in molecular biology
• MODEL - Modeling Random Systems
• MODULEF - Methods and Tools for Scientific Computing
• MOSTRA - Numerical Modeling of Smart Materials and Adaptive Structures
• MOVI - Modeling, localization, recognition and interpretation in computer vision
• NOVALTIS - NOVel ALgorithms and VALidation Techniques for TIme-critical and high Integrity Systems
• NUMATH - Mathematical Analysis and Numerical Simulation of Non-Linear Models
• NUMOPT - Numerical Optimization
• OMEGA - Probabilistic numerical methods
• ONDES - Modeling, analysis and simulation of wave propagation phenomena
• OPERA - Tools for Electronic Documents, Research and applications
• ORION - Intelligent environments for the resolution of problems for autonomous systems
• OSCAR - Syntactic Tools for Program Construction and Analysis
• OSTRE - Optimization of real-time distributed embedded systems
• OTTO - Optics, transport and optimal trajectories
• PAMPA - Models and Tools for Programming Distributed Parallel Architectures
• PARA -
• PARAGRAPHE - Parallelism and Graphs
• PASTIS - Scene Analysis and Symbolic Image Processing
• POLKA - Polynomials, Combinatorics, Arithmetic
• PREVAL - Probability, modelling and evaluation of information processing systems
• PRISME - Geometry, Algorithms and Robotics
• PROLO - Logic Programming
• PROMATH - Mathematical Programming
• PROTHEO - Constraints, automatic deduction and software properties proofs
• PSYCHO ERGO - Ergonomic Psychology
• R2D2 - Reconfigurable and Retargetable Digital Devices
• REFLECS - Distributed Real-Time Fault-Tolerant Computing Systems
• REMAP - Regularity and massive parallel computing
• REPCO - Knowledge Representation
• RESEDAS - Software Tools for Telecommunications and Distributed Systems
• ROBOTVIS - Computer Vision and Robotics
• RODEO - High Speed Networks, Open Networks
• RODIN - Database Systems
• ROMANS - Relations and Objects for Modeling Numerics and Symbolics
• SAFIR - Algebraic Formal Systems for Industry and Research
• SAGA - Algebraic Systems, Geometry and Applications
• SAGEP -
• SAMIE - Conceptual Modeling of Community-Webs
• SHARP - Automatic Programming and Decisional Systems in Robotics
• SHERPA - Object Knowledge Bases
• SHOOD - Methods and Tools for Integrated Engineering Systems
• SIAMES - Computer generated images, animation, modeling and simulation
• SIGMA2 - Signal, models, algorithms
• SINUS - Numerical Simulation for the Engineering Sciences
• SIRAC - Distributed Systems for Cooperative Applications
• SLOOP - Simulation, Object Oriented Languages and Parallelism
• SODAS - Ordered Classification Structures and Discrimination: Algorithms and Simulation
• SOLIDOR - Design of Distributed Operating Systems
• SOR - Distributed Object Systems
• SOSSO - Applications and Tools of Automatic Control
• SOSSO2 - Applications and Tools of Automatic Control
• SPACES - Solving problems through algebraic computation and efficient software
• SPECTRE - ecification and Programming of Communicating Real-Time Systems
• SYCO - Basic Models and Applications of Perceptive and Cognitive Processes
• SYDOCO - Dynamic systems, optimisation and optimal command
• SYNTIM - Image Analysis and Synthesis
• SYSDYS - Stochastic Dynamical Systems
• SYSTOL - Biomedical Stochastic Systems
• TEMIS - Advanced Image Sequence Processing
• TICK - Theory and Practice of Synchronous Reactive Systems
• TRANSREP - Distributed Transaction Processing
• VERSO - Databases