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