Constraint-based automatic verification of abstract models of
  multithreaded programs
A Hoare logic for the coinductive trace-based big-step semantics of
  While
A new photon recoil experiment: towards a determination of the fine
  structure constant Huge Casimir effect at finite temperature in electromagnetic Rindler
  space Soccer: a quantitative analysis of team resilience and the miracle of
  Bern Formal verification of trading in financial markets Fully Decentralized Joint Learning of Personalized Models and
  Collaboration Graphs Betting and Belief: Prediction Markets and Attribution of Climate Change A Model of Magnetic Monopoles On Measuring Non-Recursive Trade-Offs Scaling dimensions from linearized tensor renormalization group
  transformations Rather than resonance, flapping wing flyers may play on aerodynamics to
  improve performance Uniform Semiclassical Wavepacket Propagation and Eigenstate Extraction
  in a Smooth Chaotic System Exploring the Limits of Few-Shot Link Prediction in Knowledge Graphs The whole brain architecture approach: Accelerating the development of
  artificial general intelligence by referring to the brain Global rigidity of solvable group actions on S^1 Low growth equational complexity Electromagnetic Solitons in Quantum Vacuum IoT Platform for COVID-19 Prevention and Control: A Survey A `transversal' for minimal invariant sets in the boundary of a CAT(0)
  group
cs.LO cs.PL