The paper entitled “Quantifier Elimination and Craig Interpolation: The Quantitative Way” by
Kevin Batz, Joost-Pieter Katoen and Nora Orhan has been accepted at the FoSSaCS 2025 Conference (Hamilton, Canada). This paper gives a quantifier elimination algorithm for quantitative formulas as they e.g. occur in the analysis of probabilistic programs, and present a theorem for a quantitative version of Craig interpolants.