[Termtools] WST 2025 - Workshop on Termination, 2nd Call for Papers