ICE 2025 -- EPTCS confirmed publication of proceedings.

Author: Clément

2025/satellite/ice.md

@@ -10,7 +10,7 @@ ICE 2025 is a satellite workshop of [DisCoTec 2025](https://www.discotec.org/202
 - ICE welcomes full papers to be included in the proceedings
 - ICE also welcomes oral communications of already published or preliminary work
 - Invited speaker: [Kirstin Peters](#invited-speaker-kirstin-peters)
-- Publication in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/) _(to be confirmed)_
+- Publication in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/)
 - Special issue in the [Journal of Logical and Algebraic Methods in Programming](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming) (Elsevier) _(to be confirmed)_
 - Contact: `ice (at) framalistes.org`