|
3 | 3 | 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. |
4 | 4 |
|
5 | 5 | ICE is [since 2010](#previous-editions) a satellite workshop of [DisCoTec](https://www.discotec.org/), generally held in June in Europe. |
6 | | -ICE 2025 is a satellite workshop of [DisCoTec 2025](https://www.discotec.org/2025/), held on June 20th in [Lille, France](venue). |
| 6 | +ICE 2026 is a satellite workshop of [DisCoTec 2026](https://www.discotec.org/2026/), held on June TBD in [Urbino, Italy](https://www.discotec.org/2026/venue). |
7 | 7 |
|
8 | 8 | ## 📢 Highlights {#highlights} |
9 | 9 |
|
@@ -77,18 +77,18 @@ https://en.wikipedia.org/wiki/Regional_indicator_symbol |
77 | 77 | *[🇸🇪]: Sweden |
78 | 78 | *[🇮🇸]: Iceland |
79 | 79 |
|
80 | | -As of 2025, the chairs of the workshop are: |
| 80 | +As of 2026, the chairs of the workshop are: |
81 | 81 |
|
82 | | -- [Clément Aubert](https://spots.augusta.edu/caubert/) (Augusta University, 🇺🇸) - `aubert (at) math.cnrs.fr` |
83 | | -- [Cinzia Di Giusto](https://webusers.i3s.unice.fr/~cdigiusto/web) (Université Côte d'Azur, CNRS, I3SSophia Antipolis, 🇫🇷) - `cinzia.di-giusto (at) unice.fr` |
| 82 | +- [Luc Edixhoven](https://luc.edixhoven.eu) (Leiden University, 🇳🇱) - `luc (at) edixhoven.eu` |
84 | 83 | - [Simon Fowler](https://simonjf.com/) (University of Glasgow School of Computing Science, 🇬🇧) - `simon.fowler (at) glasgow.ac.uk` |
| 84 | +- [Rumyana Neykova](https://www.brunel.ac.uk/people/rumyana-neykova) (Brunel University London, 🇬🇧) - `rumyana.neykova (at) brunel.ac.uk` |
85 | 85 | - [Violet Ka I Pun](https://violet.foldr.org/) (Western Norway University of Applied Sciences, 🇳🇴) - `Violet.Ka.I.Pun (at) hvl.no` |
86 | 86 |
|
87 | 87 | Use `ice (at) framalistes.org` to reach all the ICEcreamers at once. |
88 | 88 |
|
89 | 89 | ## ✇ Steering Committee {#sc} |
90 | 90 |
|
91 | | -As of 2025, the members of the steering committee are: |
| 91 | +As of 2026, the members of the steering committee are: |
92 | 92 |
|
93 | 93 | - [Massimo Bartoletti](https://tcs.unica.it/members/bart) (University of Cagliari, 🇮🇹) |
94 | 94 | - [Ludovic Henrio](https://lhenrio.github.io/) (ENS Lyon, 🇫🇷) |
|
0 commit comments