18th Interaction and Concurrency Experience 2025 workshop at 20th International Federated Conference on Distributed Computing Techniques June 16-20, 2025 Lille, France https://www.discotec.org/2025/satellite/ice #Concurrency #Model #Verification