Proceedings 14th International Workshop on Verification of
  Infinite-State Systems
Tractability frontiers in probabilistic team semantics and existential
  second-order logic over the reals
Parallel Symbolic Computation of Curvature Invariants in General
  Relativity Saturation of Stationary Inversion States in a Three-Level
  Traveling-Wave Quantum Amplifier with Bistable Resonator Pumping Network Entropy based on Cluster Expansion on Motifs for Undirected
  Graphs Mini-conference on angular momentum transport in laboratory and nature On the Optimality of Backward Regression: Sparse Recovery and Subset
  Selection A Review of the State-of-the-Art on Tours for Dynamic Visualization of
  High-dimensional Data On the spectrum of 1D quantum Ising quasicrystal The FKMM-invariant in low dimension Statistical signature of vortex filaments: dog or tail? Talk given at
  QFS 2016 Geometric phases and cyclic isotropic cosmologies Fluctuation-dissipation theorem for thermo-refractive noise Controllability of the discrete-spectrum Schrodinger equation driven by
  an external field Simulation Model of Two-Robot Cooperation in Common Operating
  Environment A versatile and compact high-intensity electron beam for multi-kGy
  irradiation in nano or micro-electronic devices Correlation-powered Information Engines and the Thermodynamics of
  Self-Correction
cs.LO