- ALSOC : Hardware and Software for Embedded System
system on chip, multiprocessors, manycores, SIMD, GPU, embedded floating point format, embedded operating system, test, verification, compilation, code optimization, SDF
- APR : Algorithms, Programmes and Resolution
Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications. Design and implementation of Programming Languages, Static analysis, typechecking, Abstract Interpretation, Concurrency, Parallel Programming, Language and Computation.
- BD : Database
big data, data streams, distributed data, data filtering and recommendation, semantic web, social media, JSON, RDF, Apache Spark
- CIAN : Analog and Digital Integrated Circuit
AMS circuits, FPGA, ASIC, Full Custom, RF Interface, Circuit Reuse, Intellectual Property (AMS IP), Electronic Design Automation (EDA), Analog to Digital Converters (DAC and ADC, SOC Clocks.
- ComplexNetworks : Complex Networks
Graphs, dynamic networks, link streams, graph measurement, graph models, algorithmics, metrology, social networks, Internet topology
- DECISION : Translate here
Decision-making under uncertainty and risk, multicriteria decision-making, group decision-making, preference modeling, optimization, graphs and algorithms, heuristic search, Bayesian nets, GAI nets.
- DELYS : DistributEd aLgorithms and sYstems
Distributed systems, Distributed Algorithms, Fault Tolerance, Replication, Failure detection, OS Virtualization.
- LFI : Learning, Fuzzy and Intelligent systems
Computational intelligence. Fuzzy Logic. Machine Learning. Knowledge and model of reasoning. Explainable Artificial Intelligence (XAI).
- MOCAH : Models and Tools in Knowledge Engineering for Human Apprenticeship
Technology Enhanced learning, Artificial intelligence in education, Learning analytics, E-Learning, cognitive diagnosis, learner modeling, adaptive feedback, serious gaming, authoring tools, metadata.
- MoVe : Modeling and Verification
Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling
- PEQUAN : Performance and Quality of Algorithms for Numerical applications
Computer arithmetic, Rounding errors, Numerical validation, Numerical quality, Heterogeneous and multimodal data, Distributed numerical computing, Linear algebra algorithms in mixed precision, Reliable results, Symbolic/numerical algorithms
- PolSys : Polynomial Systems
Computer Algebra. Polynomial System Solving. Gröbner Bases. Complexity. Real roots. Parametric systems. Cryptology. Algebraic Cryptanalysis. Algebraic Computational Geometry. Applications. Symbolic/Numeric Interaction. Software. High performance Linear Algebra.
- QI : Quantum Information
Quantum Information, quantum cryptography and cryptology, quantum networks, delegated quantum computing, quantum verification, quantum optics, silicon photonics for quantum technologies, foundations of quantum mechanics
- RO : Operation Research
operations research, scheduling, combinatorial optimization, black-box optimization, exact and approximation algorithm, complexity.
- SMA : Multi-Agent Systems
Multi-Agent Systems : coordination, interaction, learning, languages and multi-agent platforms
- SYEL : Electronic Systems
embedded systems, heterogeneous systems, performances, energy consumption, signal integrity, wireless sensor networks, communicating objects, aeronautics, health