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