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