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