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