Combining predicate transformer semantics for effects: a case study in
  parsing regular languages
Can determinism and compositionality coexist in RML?
Coded trace reconstruction in a constant number of traces SPIDER-WEB enables stable, repairable, and encryptible algorithms under
  arbitrary local biochemical constraints in DNA-based storage On Small Perturbations of a Spin Glass System Diagnosing Data from ICTs to Provide Focused Assistance in Agricultural
  Adoptions Lie, associative and commutative quasi-isomorphism The Riddle of Gravitation Learning Nonlinear Brain Dynamics: van der Pol Meets LSTM When Chaos Meets Computers Unified Systems of FB-SPDEs/FB-SDEs with Jumps/Skew Reflections and
  Stochastic Differential Games Slow dynamic nonlinearity in unconsolidated glass bead packs Chiral magnetic effect by synthetic gauge fields A Probabilistic Formulation of the Diffusion Coefficient in Porous Media
  as Function of Porosity Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Scalable Preprocessing of High Volume Bird Acoustic Data Support of Laurent series algebraic over the field of formal power
  series A Theory of Ambulance Chasing Dune-CurvedGrid -- A Dune module for surface parametrization Fundamental solutions for the wave operator on static Lorentzian
  manifolds with timelike boundary Recent results in the search for dark matter with noble liquid detectors Dirichlet integral point-source harmonic interpolation over
  ${\mathbb{R}}^3$ spherical interiors: DIDACKS II Designing Autonomous Vehicles: Evaluating the Role of Human Emotions and
  Social Norms Topological rigidity as a monoidal equivalence
cs.LO cs.PL