Fixing conflict.

Author: Clément

README.md

@@ -3,21 +3,22 @@
 Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for concurrent systems and complex interactions. 
 
 ICE is [since 2010](#previous-editions) a satellite workshop of [DisCoTec](https://www.discotec.org/), generally held in June in Europe.
+ICE 2025 is a satellite workshop of [DisCoTec 2025](https://www.discotec.org/2025/), held on June 20th in [Lille, France](venue).
 
 ## 📢 Highlights {#highlights}
 
 - [Distinctive selection procedure](#selection).
-- ICE publishes full papers in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/) -- an [open access](https://www.budapestopenaccessinitiative.org/) venue, but also welcomes oral communications of already published or preliminary work.
-- ICE generally publishes extended versions of selected articles in a 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).
+- ICE publishes [its proceedings](https://dblp.uni-trier.de/db/conf/ice/index.html) in [EPTCS](https://cgi.cse.unsw.edu.au/~eptcs/)−an [open access](https://www.budapestopenaccessinitiative.org/) venue−and welcomes oral communications of already published or preliminary work.
+- ICE generally publishes extended versions of selected articles in a 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).
 - ICE strives to maintain a diverse and balanced program committee, and is in general chaired by 4 ["ICECreamers"](#icecreamers) with different backgrounds, geographical locations and interests.
 
 Past proceedings can easily be accessed [through DBLP](https://dblp.uni-trier.de/db/conf/ice/index.html) or by consulting our [previous editions](#previous-editions).
 
 ## 📌 Scope {#scope}
 
-The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.
+The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent and distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.
 
-We solicit contributions relevant to Interaction and Concurrency, including but not limited to:
+ICE has featured contributions on Interaction and Concurrency, including but not limited to:
 
 - Formal semantics
 - Process algebras and calculi
@@ -36,7 +37,7 @@ We solicit contributions relevant to Interaction and Concurrency, including but
 
 Since [its first edition in 2008](#previous-editions), the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive, friendly, and constructive discussion amongst authors and PC members in an online forum.
 
-During the review phase, each submission is published in a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all PC members not in conflict with the submission (the forum preserves anonymity of all parties -- ICE adopts a light double-blind reviewing process). The forum is used by reviewers to ask questions, clarifications, and modifications from the authors, allowing them better to explain and to improve all aspects of their submission. The final evaluation of the submission and decision takes into account not only the reviews, but also the outcome of the discussion.
+During the review phase, each submission is published in a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all PC members not in conflict with the submission (the forum preserves anonymity of all parties -- ICE adopts a light double-anonymous reviewing process). The forum is used by reviewers to ask questions, clarifications, and modifications from the authors, allowing them better to explain and to improve all aspects of their submission. The final evaluation of the submission and decision takes into account not only the reviews, but also the outcome of the discussion.
 
 As witnessed by the past editions of ICE, this procedure considerably improves the accuracy of the reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop.
 
@@ -45,33 +46,56 @@ As witnessed by the past editions of ICE, this procedure considerably improves t
 Since 2021, the [ICEcreamers](#icecreamers) select every year a PC member to receive the **Outstanding PC Member Award** in recognition of their efforts and time spent contributing to the quality of the papers they were asked to review, or that they voluntarily reviewed.
 
 | Edition | Awardee |
-| ------- | ------- | 
+| ------- | ------- |
+| 2025 | [Luc Edixhoven](https://luc.edixhoven.eu/) |
 | 2024 | [Bas van den Heuvel](https://basvdheuvel.github.io/) | 
 | 2023 | [Sergueï Lenglet](https://lipn.univ-paris13.fr/~lenglet/) | 
 | 2022 | [Duncan Paul Attard](https://duncanatt.github.io/) |
 | 2021 | [Ivan Prokić](https://imft.ftn.uns.ac.rs/~iprokic/Main) |
 
 ## 🍦 ICEcreamers (Chairs) {#icecreamers}
 
+<!--
+Find flags at
+https://en.wikipedia.org/wiki/Regional_indicator_symbol
+-->
+
+*[🇧🇪]: Belgium
+*[🇩🇪]: Germany
+*[🇫🇷]: France
+*[🇮🇹]: Italy
+*[🇺🇸]: United States of America
+*[🇩🇰]: Denmark
+*[🇬🇧]: United Kingdom
+*[🇳🇴]: Norway
+*[🇵🇹]: Portugal
+*[🇳🇱]: Netherlands
+*[🇱🇺]: Luxembourg
+*[🇪🇸]: Spain
+*[🇨🇭]: Switzerland
+*[🇬🇷]: Greece
+*[🇸🇪]: Sweden
+*[🇮🇸]: Iceland
+
 As of 2025, the chairs of the workshop are:
 
-- [Clément Aubert](https://spots.augusta.edu/caubert/) (Augusta University, USA) - `aubert (at) math.cnrs.fr`
-- [Cinzia Di Giusto](https://webusers.i3s.unice.fr/~cdigiusto/web) (Université Côte d'Azur, CNRS, I3SSophia Antipolis, FR) - `cinzia.di-giusto (at) unice.fr`
-- [Simon Fowler](https://simonjf.com/) (University of Glasgow School of Computing Science, UK) - `simon.fowler (at) glasgow.ac.uk`
-- [Violet Ka I Pun](https://violet.foldr.org/) (Western Norway University of Applied Sciences, NO) - `Violet.Ka.I.Pun (at) hvl.no`
+- [Clément Aubert](https://spots.augusta.edu/caubert/) (Augusta University, 🇺🇸) - `aubert (at) math.cnrs.fr`
+- [Cinzia Di Giusto](https://webusers.i3s.unice.fr/~cdigiusto/web) (Université Côte d'Azur, CNRS, I3SSophia Antipolis, 🇫🇷) - `cinzia.di-giusto (at) unice.fr`
+- [Simon Fowler](https://simonjf.com/) (University of Glasgow School of Computing Science, 🇬🇧) - `simon.fowler (at) glasgow.ac.uk`
+- [Violet Ka I Pun](https://violet.foldr.org/) (Western Norway University of Applied Sciences, 🇳🇴) - `Violet.Ka.I.Pun (at) hvl.no`
 
 Use `ice (at) framalistes.org` to reach all the ICEcreamers at once.
 
 ## ✇ Steering Committee {#sc}
 
 As of 2025, the members of the steering committee are:
 
-- [Massimo Bartoletti](https://tcs.unica.it/members/bart) (University of Cagliari, IT)
-- [Ludovic Henrio](https://lhenrio.github.io/) (ENS Lyon, FR)
-- [Sophia Knight](https://www.lix.polytechnique.fr/~sophia/) (University of Minnesota Duluth, USA)
-- [Ivan Lanese](https://www.cs.unibo.it/~lanese/) (University of Bologna, IT)
-- [Larisa Safina](https://lsafina.github.io/) (INRIA Lille, FR)
-- [Alceste Scalas](https://people.compute.dtu.dk/alcsc) (Technical University of Denmark, DK)
+- [Massimo Bartoletti](https://tcs.unica.it/members/bart) (University of Cagliari, 🇮🇹)
+- [Ludovic Henrio](https://lhenrio.github.io/) (ENS Lyon, 🇫🇷)
+- [Sophia Knight](https://www.lix.polytechnique.fr/~sophia/) (University of Minnesota Duluth, 🇺🇸)
+- [Ivan Lanese](https://www.cs.unibo.it/~lanese/) (University of Bologna, 🇮🇹)
+- [Larisa Safina](https://lsafina.github.io/) (INRIA Lille, 🇫🇷)
+- [Alceste Scalas](https://people.compute.dtu.dk/alcsc) (Technical University of Denmark, 🇺🇸)
 
 ## ⌛ Previous Editions {#previous-editions}
 
@@ -80,24 +104,24 @@ As of 2025, the members of the steering committee are:
 
 | Year | Date(s) | Location | Co-location | Proceedings | Special Issue | 
 | --- | --- | -------- | ------ | -------- | ------ | 
-| [ICE'25](https://www.discotec.org/2025/satellite/ice) | June 16 or 20, 2025 | Lille (FR) | [DisCoTec'25](https://www.discotec.org/2025/) | [EPTCS (vol. 425)(https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2025)] | TBC |
-| [ICE'24](https://www.discotec.org/2024/ice) | June 21, 2024 | Groningen (NL) | [DisCoTec'24](https://www.discotec.org/2024/) | [EPTCS (vol. 414)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2024) | TBC |
-| [ICE'23](https://www.discotec.org/2023/ice) | June 19, 2023 | Lisbon (PT) | [DisCoTec'23](https://www.discotec.org/2023/) | [EPTCS (vol. 383)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2023) | TBC |
-| [ICE'22](https://www.discotec.org/2022/ice) | June 17, 2022 | Lucca (IT) | [DisCoTec'22](https://www.discotec.org/2022/) | [EPTCS (vol. 365)](http://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2022) | [JLAMP (10NR188XZQV)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10NR188XZQV) |
-| [ICE'21](http://www.discotec.org/2021/ice) | June 18, 2020 | Online | [DisCoTec'21](https://www.discotec.org/2021/) | [EPTCS (vol. 347)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2021) | [JLAMP (106L7VVC5FC)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/106L7VVC5FC) |
+| [ICE'25](https://www.discotec.org/2025/satellite/ice) | June 20, 2025 | Lille, 🇫🇷 | [DisCoTec'25](https://www.discotec.org/2025/) | [EPTCS (vol. 425)(https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2025)]  | TBC |
+| [ICE'24](https://www.discotec.org/2024/ice) | June 21, 2024 | Groningen, 🇳🇱 | [DisCoTec'24](https://www.discotec.org/2024/) | [EPTCS (vol. 414)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2024) | TBC |
+| [ICE'23](https://www.discotec.org/2023/ice) | June 19, 2023 | Lisbon, 🇵🇹 | [DisCoTec'23](https://www.discotec.org/2023/) | [EPTCS (vol. 383)](https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICE2023) | TBC |
+| [ICE'22](https://www.discotec.org/2022/ice) | June 17, 2022 | Lucca, 🇮🇹 | [DisCoTec'22](https://www.discotec.org/2022/) | [EPTCS (vol. 365)](http://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2022) | [JLAMP (10NR188XZQV)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10NR188XZQV) |
+| [ICE'21](http://www.discotec.org/2021/ice) | June 18, 2021 | Online | [DisCoTec'21](https://www.discotec.org/2021/) | [EPTCS (vol. 347)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2021) | [JLAMP (106L7VVC5FC)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/106L7VVC5FC) |
 | [ICE'20](http://www.discotec.org/2020/ice) | June 19, 2020 | Online | [DisCoTec'20](https://www.discotec.org/2020/) | [EPTCS (vol. 324)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2020) | [JLAMP (1)](https://doi.org/10.1016/j.jlamp.2021.100712) and [JLAMP (2)](https://doi.org/10.1016/j.jlamp.2022.100776) | 
-| [ICE'19](http://www.discotec.org/2019/ice) | June 20-21, 2019 | Lyngby (DK) | [DisCoTec'19](https://www.discotec.org/2019/) | [EPTCS (vol. 304)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2019) | [JLAMP (101ZSK6ZFQ4)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/101ZSK6ZFQ4) | 
-| [ICE'18](http://2018.discotec.org/cfp_w_ice.html) | June 20-21, 2018 | Madrid (ES) | [DisCoTec'18](http://2018.discotec.org/)| [EPTCS (vol. 279)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2018) | [JLAMP (10XN45J051V)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10XN45J051V) | 
-| [ICE'17](https://2017.discotec.org/workshops/ice-2017.html) | June 21-22 2017 | Neuchâtel (CH) | [DisCoTec'17](https://2017.discotec.org/) | [EPTCS (vol. 261)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2017) | [JLAMP (Vol. 109)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/109) |
-| [ICE'16](https://web.archive.org/web/20220331031727/http://2016.discotec.org/index713e.html) | June 21-22, 2016 | Heraklion (GR) |  [DisCoTec'16](https://doi.org/10.1145/2984450.2984462) | [EPTCS (vol. 223)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2016) | [JLAMP (Vol. 92)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/92) | 
-| [ICE'15](https://discotec2015.inria.fr/workshops/ice-2015/) | June 4-5, 2015 | Grenoble (FR) | [DisCoTec'15](https://discotec2015.inria.fr/) | [EPTCS (vol. 189)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2015) | [JLAMP (Vol. 86, Number 1)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86) | 
-| [ICE'14](http://www.discotec2014.tu-berlin.de/workshops/ice-2014) | June 6, 2014 | Berlin (DE) | [DisCoTec'14](https://www.discotec2014.tu-berlin.de/) | [EPTCS (vol. 166)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2014) | [JLAMP (Vol. 85, Number 3)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86/issue/3) | 
-| [ICE'13](https://web.archive.org/web/20160423143634/2013.discotec.org/workshops/ice2013/) | June 6, 2013 | Florence (IT) | [DisCoTec'13](https://web.archive.org/web/20130525064342/http://www.discotec.org/) | [EPTCS (vol. 131)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2013) | [SCP (vol. 109)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/109) | 
-| [ICE'12](http://www.artist-embedded.org/artist/Overview,2429.html) | June 16, 2012 | Stockholm (SE) | [DisCoTec'12](https://web.archive.org/web/20130624080252/http://discotec.ict.kth.se/) | [EPTCS (vol. 104)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2012) | [SCP (vol. 100)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/100) | 
-| [ICE'11](http://www.artist-embedded.org/artist/-ICE-2011-.html) | June 9, 2011 | Reykjavik (IS) | [DisCoTec'11](https://web.archive.org/web/20130310124652/http://discotec.ru.is/) | [EPTCS (vol. 59)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) [SACS (Vol. XXII)](https://www.info.uaic.ro/en/sacs_volumes/xxii-1/) | 
-| [ICE'10](http://www.artist-embedded.org/artist/-ICE-10-.html) | June 10, 2010 | Amsterdam (NL) | [DisCoTec'10](http://web.archive.org/web/20100806052340/http://discotec.project.cwi.nl/index.php/Main_Page) | [EPTCS (vol. 38)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) | [SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI)](https://www.info.uaic.ro/en/sacs_volumes/xxi-1/) | 
-| [ICE'09](http://ice09.dimi.uniud.it/) | August 31, 2009 | Bologna (IT) | [CONCUR'09](http://concur09.cs.unibo.it/) | [EPTCS (vol. 12)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2009) |[MSCS (with EXPRESS'09 and SOS'09, Vol. 22, Number 2)](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/issue/4A7319C7211730C6521DB797E0B53668) | 
-| [ICE'08](http://ice08.dimi.uniud.it/) | July 6, 2008 | Reykjavik (IS) | [ICALP'08](https://web.archive.org/web/20090210183154/https://www.ru.is/icalp08) | [ENTCS (vol. 229-3)](https://dl.acm.org/toc/entcs/2009/229/3) | | 
+| [ICE'19](http://www.discotec.org/2019/ice) | June 20-21, 2019 | Lyngby, 🇺🇸 | [DisCoTec'19](https://www.discotec.org/2019/) | [EPTCS (vol. 304)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2019) | [JLAMP (101ZSK6ZFQ4)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/101ZSK6ZFQ4) | 
+| [ICE'18](http://2018.discotec.org/cfp_w_ice.html) | June 20-21, 2018 | Madrid, 🇪🇸 | [DisCoTec'18](http://2018.discotec.org/)| [EPTCS (vol. 279)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2018) | [JLAMP (10XN45J051V)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/special-issue/10XN45J051V) | 
+| [ICE'17](https://2017.discotec.org/workshops/ice-2017.html) | June 21-22 2017 | Neuchâtel, 🇨🇭 | [DisCoTec'17](https://2017.discotec.org/) | [EPTCS (vol. 261)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2017) | [JLAMP (Vol. 109)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/109) |
+| [ICE'16](https://web.archive.org/web/20220331031727/http://2016.discotec.org/index713e.html) | June 21-22, 2016 | Heraklion, 🇬🇷 |  [DisCoTec'16](https://doi.org/10.1145/2984450.2984462) | [EPTCS (vol. 223)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2016) | [JLAMP (Vol. 92)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/92) | 
+| [ICE'15](https://discotec2015.inria.fr/workshops/ice-2015/) | June 4-5, 2015 | Grenoble, 🇫🇷 | [DisCoTec'15](https://discotec2015.inria.fr/) | [EPTCS (vol. 189)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2015) | [JLAMP (Vol. 86, Number 1)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86) | 
+| [ICE'14](http://www.discotec2014.tu-berlin.de/workshops/ice-2014) | June 6, 2014 | Berlin, 🇩🇪 | [DisCoTec'14](https://www.discotec2014.tu-berlin.de/) | [EPTCS (vol. 166)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2014) | [JLAMP (Vol. 85, Number 3)](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/86/issue/3) | 
+| [ICE'13](https://web.archive.org/web/20160423143634/2013.discotec.org/workshops/ice2013/) | June 6, 2013 | Florence, 🇮🇹 | [DisCoTec'13](https://web.archive.org/web/20130525064342/http://www.discotec.org/) | [EPTCS (vol. 131)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2013) | [SCP (vol. 109)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/109) | 
+| [ICE'12](http://www.artist-embedded.org/artist/Overview,2429.html) | June 16, 2012 | Stockholm, 🇸🇪 | [DisCoTec'12](https://web.archive.org/web/20130624080252/http://discotec.ict.kth.se/) | [EPTCS (vol. 104)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2012) | [SCP (vol. 100)](https://www.sciencedirect.com/journal/science-of-computer-programming/vol/100) | 
+| [ICE'11](http://www.artist-embedded.org/artist/-ICE-2011-.html) | June 9, 2011 | Reykjavik, 🇮🇸 | [DisCoTec'11](https://web.archive.org/web/20130310124652/http://discotec.ru.is/) | [EPTCS (vol. 59)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) [SACS (Vol. XXII)](https://www.info.uaic.ro/en/sacs_volumes/xxii-1/) | 
+| [ICE'10](http://www.artist-embedded.org/artist/-ICE-10-.html) | June 10, 2010 | Amsterdam, 🇳🇱 | [DisCoTec'10](http://web.archive.org/web/20100806052340/http://discotec.project.cwi.nl/index.php/Main_Page) | [EPTCS (vol. 38)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2011) | [SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI)](https://www.info.uaic.ro/en/sacs_volumes/xxi-1/) | 
+| [ICE'09](http://ice09.dimi.uniud.it/) | August 31, 2009 | Bologna, 🇮🇹 | [CONCUR'09](http://concur09.cs.unibo.it/) | [EPTCS (vol. 12)](https://eptcs.web.cse.unsw.edu.au/content.cgi?ICE2009) |[MSCS (with EXPRESS'09 and SOS'09, Vol. 22, Number 2)](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/issue/4A7319C7211730C6521DB797E0B53668) | 
+| [ICE'08](http://ice08.dimi.uniud.it/) | July 6, 2008 | Reykjavik, 🇮🇸 | [ICALP'08](https://web.archive.org/web/20090210183154/https://www.ru.is/icalp08) | [ENTCS (vol. 229-3)](https://dl.acm.org/toc/entcs/2009/229/3) | | 
 
 ## 👤 More Information {#contact}