[finite-model-theory] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)