The paper "A New Approach for Showing Termination of Parameterised Transition Systems" by Roland Herrmann and Philipp Rümmer was accepted at CIAA 2025. The conference will take place from 22 to 25 September in Palermo, Italy.