Dual norm Ssreflect Machine Learning Diffusion-approximation Petri nets Coloring Age-structured PDE Activation delays Automata Termination Category theory Sequent calculus Game Semantics Resilience Denotational semantics Sparsity Symplectic reduction Scheduling Kleene algebra Commuting variety Concurrent games Curvature 35B25 20E08 Process calculi Kriging Sparse matrices Coq Clear Channel Assessment Bass-Serre theory Graphs Axiomatisation Regression Algebra Lie 57M60 Secondary 37E05 Kinetic equation Ordonnancement Real-time systems Linear logic Elliptical distributions Circle-valued maps Event structures Algorithm Hydrodynamic limit Unique solution of equations Implicit computational complexity Cyclic proofs General arrivals Covariance Reliability Multiple sparse right-hand sides Complexity Electron Tomography Game semantics Categorical semantics Stability Automatic proof search Abbreviated action integral Covert communication Asymptotic analysis Motives Cut elimination Spatial Reuse Distributive laws Full abstraction Fail-stop errors Decidability Power Control Oscillations Bingham Cost Algebra 37B05 Proof theory Verification Optimal pattern Bisimilarity Concurrency Mean field games Coinduction Baumslag-Solitar groups Perfect kernel Besov spaces Treewidth Cographs Graph theory Cycle stealing Regular languages Space of subgroups Sobolev spaces Energy-aware systems Network science Completeness Partial Least Squares Heterogeneous platforms Bisimulation Lambda-calculus Elliptical distribution Silent errors Direct method