computer arithmetic, rounding errors, numerical validation, numerical quality, sequence reconstruction, sequnce modelisation, heterogeneous and multimodal data, distributed numerical computing, asynchronous numerical algorithms, reliable results, symbolic/numerical algorithms, arithmetic operators for cryptography.

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.

scheduling, combinatorial optimization, operations research, exact and approximation algorithm, complexity.

Decision-making under uncertainty and risk, multicriteria decision-making, group decision-making, preference modeling, optimization, graphs and algorithms, heuristic search, Bayesian nets, GAI nets.

Cognitive Multi-Agent Systems : coordination, interaction, learning, languages and multi-agent platforms

Large scale data management, P2P systems, distributed data, replication, quality of data, discovery and composition of web services, importance ranking

Artificial Intelligence, Machine Learning, Symbolic Machine Learning, Non-supervised Learning, Scientific Discovery, Electronic Philology, Electronic Book, Information Visualization, Multimedia, Computational Philosophy

formal specifications, proofs and automatic deduction, correctness of implementations, critical systems, deduction modulo

Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling

Distributed systems, Monitoring and failure detection, Fault Tolerance, Replication, Dynamic adaptation of virtual machines.

Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications. Design and implementation of Programming Languages, Fiability and Efficiency, Programming Diffuse Web. Language and Computation.

Network architecture, protocol, quality of service, mobility, security, wireless, self-congiguration, autonomic, intelligent

Internet topology, peer-to-peer exchanges, social networks, dynamic graphs, graph measurement, graph models, community analysis

system on chip, multiprocessors, embedded operating system, test, verification, compilation

AMS circuits, FPGA, RF Interface, Circuit Reuse, Intellectual Property (AMS IP), Electronic Design Automation (EDA), Analog to Digital Converters (DAC and ADC)

embedded systems, heterogeneous systems, performances, energy consumption, signal integrity, wireless sensor networks, communicating objects, aeronautics, health