° A&O - Learning and Optimisation Group
° Admin
° Alchemy - Parallel Architecture
° Algo - Algorithms and Complexity
° BD - Databases Group
° BioInfo - Bioinformatics Group
° ForTesSE - Formal Testing and System Exploration
° GraphComb - Graph Theory and Combinatorial Optimization
° HIPERCOM - Networking
° IASI - Artificial Intelligence and Inference Systems
° IN SITU - Situated Interaction
° Parall - Parallelism
° Proval - Proofs and Programs
° Staff - Computer and Network systems staff

° Alchemy
° Algorithms and Models for Integrative Biology
° Grand Large
° HIPERCOM
° In Situ
° LEO
° ProVal
° TAO

°
°
° Algorithms
° Architecture
° Artificial Intelligence
° Bioinformatics
° Clusters and Grid
° Combinatorial optimization
° Combinatory
° Communication networks
° Compilation
° Complexity
° Content management
° Databases
° Design
° Design and Evaluation of Interactive Systems
° Distributed algorithms
° Dynamique symbolique
° Fault Tolerance
° Formal Methods for Software Engineering
° Game theory
° Graph Theory
° High Performance Computing
° Human-Computer Interaction
° Information Visualization
° Languages and systems for databases - Internet programming
° Logic
° Machine learning
° Mediated Communication
° Networks
° Optimization
° parallel computing
° Peer to peer
° Programming
° Quantum computation
° Robotics
° Theoretical cryptography
° Verification
° XML