Proceedings Sixth Workshop on Trends in Functional Programming in
  Education
Skeletal Program Enumeration for Rigorous Compiler Testing
Making predictions in the multiverse Towards a Policy-as-a-Service Framework to Enable Compliant, Trustworthy
  AI and HRI Systems in the Wild Using Static Charge on Pyroelectric Crystals to Produce Self Focusing
  Electron and Ion Beams and Transport Through Tubes Large-Scale System Identification Using a Randomized SVD Single-Particle Dynamics in Dense Granular Fluids under Driving Is Saki #delicious? The Food Perception Gap on Instagram and Its
  Relation to Health Property Safety Stock Policy for Correlated Commodities Based on
  Probability Inequality Control of Magnetic Order in Spinel ZnFe$_2$O$_4$ Thin Films Through
  Intrinsic Defect Manipulation Sparsity Based Recovery of Galactic Binaries Gravitational Waves On $\mathbb R$-embeddability of almost disjoint families and
  Akemann-Doner C*-algebras On spinodal points and Lee-Yang edge singularities TILES-2018, a longitudinal physiologic and behavioral data set of
  hospital workers Localization algebras and deformations of Koszul algebras The classical limit of Schr\"{o}dinger operators in the framework of
  Berezin quantization and spontaneous symmetry breaking as emergent phenomenon Cyber-Physical Systems, a new formal paradigm to model redundancy and
  resiliency Wireless Node Cooperation with Resource Availability Constraints Self-Supervised Learning of Generative Spin-Glasses with Normalizing
  Flows Structural Inference of Hierarchies in Networks Geometry of Grand Unification Regge theory and statistical mechanics Handover Experiments with UAVs: Software Radio Tools and Experimental
  Research Platform Hybrid Federated and Centralized Learning Resonant interaction between gravitational waves, electromagnetic waves
  and plasma flows
cs.PL