Ordonnancement Abbreviated action integral Energy efficiency Coloring Decidability Besov spaces Mean field games Partial Least Squares Ssreflect Graph theory Focusing Resilience Treewidth Fail-stop errors Elliptical distributions Independent tasks Expectile regression Graphs Cut elimination Coinduction Energy estimates Bisimilarity Heterogeneous platforms General arrivals Cycle stealing Activation delays HPC Cost Ergodic dimension Hydrodynamic limit Sobolev spaces Full Abstraction Cographs Failures Algorithm Elliptical distribution Jacobian Covariance Hyperbolic systems Concurrent games Extreme events Homotopy classes Network science Lambda-calculus Oscillations Verification Silent errors Dual norm Event structures Linear logic Kinetic equation Hilbert scheme Direct method General service Circle-valued maps Termination Function graph Algebra Game semantics Denotational semantics Algebra Lie Regression Asymptotic analysis Energy-aware systems Process calculi Automatic proof search Game Semantics Curvature Covert communication Bass-Serre theory Proof theory Diffusion-approximation Concurrency Hamiltonian dynamics Distributive laws Commuting variety Motives Axiomatisation Multiple sparse right-hand sides Harmonic limit Optimal pattern Sparsity Completeness Bingham Coq Kleene algebra Graph signal processing Stability Unique solution of equations Regular languages Sequent calculus Cyclic proofs Petri nets Sparse matrices Implicit computational complexity Kriging Electron Tomography Scheduling Bisimulation Full abstraction