The paper "What's Decidable About Arrays With Sums?" by Roland Herrmann and Philipp Rümmer was accepted at CADE-30. The conference will take place from 28 to 31 July in Stuttgart.