You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: README.md
+9-9
Original file line number
Diff line number
Diff line change
@@ -4,7 +4,7 @@ Interaction and Concurrency Experiences (ICE) is a series of international scien
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
6
7
-
## Highlights
7
+
## 📢 Highlights {#highlights}
8
8
9
9
- Distinctive selection procedure
10
10
- ICE welcomes full papers to be included in the proceedings
@@ -14,7 +14,7 @@ ICE is [since 2010](#previous-editions) a satellite workshop of [DisCoTec](https
14
14
- Contact: `ice (at) framalistes.org`
15
15
16
16
17
-
## Scope
17
+
## 📌 Scope {#scope}
18
18
19
19
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.
20
20
@@ -33,7 +33,7 @@ We solicit contributions relevant to Interaction and Concurrency, including but
33
33
- Tools and techniques for automation
34
34
- Synthesis techniques
35
35
36
-
## The ICE Selection Procedure
36
+
## 🌱 The ICE Selection Procedure {#selection}
37
37
38
38
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.
39
39
@@ -43,9 +43,9 @@ As witnessed by the past editions of ICE, this procedure considerably improves t
43
43
44
44
ICE adopts a light double-blind reviewing process.
45
45
46
-
## 🌟 ICE Outstanding PC Members 🌟 {#outstanding}
46
+
## 🌟 ICE Outstanding PC Members {#outstanding}
47
47
48
-
Since 2021, the [ICEcreamers](#icecreamers-chairs) 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.
48
+
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.
49
49
50
50
| Edition | Awardee |
51
51
| ------- | ------- |
@@ -54,7 +54,7 @@ Since 2021, the [ICEcreamers](#icecreamers-chairs) select every year a PC member
54
54
| 2022 |[Duncan Paul Attard](https://duncanatt.github.io/)|
-[Alceste Scalas](https://people.compute.dtu.dk/alcsc) (Technical University of Denmark, DK)
78
78
79
-
## Previous Editions
79
+
## ⌛ Previous Editions {#previous-editions}
80
80
81
81
*[TBP]: To Be Published
82
82
*[TBC]: To Be Confirmed
@@ -123,6 +123,6 @@ The previous editions of ICE have been held on:
123
123
- [ICE'08](http://ice08.dimi.uniud.it/), July 6, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in [ENTCS (vol. 229-3)](https://dl.acm.org/toc/entcs/2009/229/3).
124
124
-->
125
125
126
-
## More Information
126
+
## 👤 More Information {#contact}
127
127
128
128
For additional information, please [contact the ICEcreamers](#icecreamers) at `ice (at) framalistes.org`.
0 commit comments