Treating for-Loops as First-Class Citizens in Proofs
Synbit: Synthesizing Bidirectional Programs using Unidirectional
  Sketches
Proceedings of the First Workshop on Agents and Robots for reliable
  Engineered Autonomy Multi-Fidelity modeling of Probabilistic Aerodynamic Databases for Use
  in Aerospace Engineering User-centric Cell-free Massive MIMO Networks: A Survey of Opportunities,
  Challenges and Solutions Short-distance propagation of nonlinear optical pulses Particle Interferometry from 40 MeV to 40 TeV Effect of antipsychotics on community structure in functional brain
  networks Regularized HessELM and Inclined Entropy Measurement for Congestive
  Heart Failure Prediction Groups and Semigroups Defined by Colorings of Synchronizing Automata Sentiment Classification using Images and Label Embeddings Curvature-induced motion of a thin Bingham layer in airways bifurcations Primitive forms via polyvector fields Thermodynamics of absolute stiff matter Plactic monoids: a braided approach The New Science of Complexity Networks of Necessity: Simulating COVID-19 Mitigation Strategies for
  Disabled People and Their Caregivers Elastic Net Procedure for Partially Linear Models Frequency Shift Algorithm: Design of a Baseband Phase Locked Loop for
  Frequency-Domain Multiplexing Readout of X-ray Transition-Edge Sensor
  Microcalorimeters Paracausal deformations of Lorentzian metrics and M{\o}ller isomorphisms
  in algebraic quantum field theory Improved estimation of anomalous diffusion exponents in single particle
  tracking experiments Grounding-aware RRT* for Path Planning and Safe Navigation of Marine
  Crafts in Confined Waters Quantum network exploration with a faulty sense of direction Duality of Orthogonal and Symplectic Matrix Integrals and Quaternionic
  Feynman Graphs
cs.PL