Skip to content

Commit 17e7c44

Browse files
ClémentClément
Clément
authored and
Clément
committed
Adding 2025 cfp to website.
1 parent ae8237d commit 17e7c44

1 file changed

Lines changed: 215 additions & 0 deletions

File tree

‎cfp.txt‎

Lines changed: 215 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,215 @@
1+
ICE 2025
2+
18th Interaction and Concurrency Experience
3+
June 20, 2025, Lille, France
4+
Satellite workshop of DisCoTec 2025
5+
6+
https://www.discotec.org/2025/satellite/ice
7+
https://ice-workshop.github.io/
8+
9+
Submission link:
10+
https://ice25.hotcrp.com/
11+
12+
The Interaction and Concurrency Experience (ICE) series of
13+
international scientific meetings are a forum for computer science
14+
researchers with research interests in models, verification, tools,
15+
and programming primitives for complex interactions.
16+
17+
=== HIGHLIGHTS ===
18+
19+
* Distinctive selection procedure
20+
* ICE welcomes full papers to be included in the proceedings
21+
* ICE also welcomes oral communications of already published or
22+
preliminary work
23+
* Invited speaker: Kirstin Peters
24+
* Publication in EPTCS
25+
* Special issue in the Journal of Logical and Algebraic Methods in
26+
Programming (Elsevier) (to be confirmed)
27+
28+
=== IMPORTANT DATES ===
29+
30+
- April 9th, 2025 : Paper submission deadline
31+
- April 10th -- April 28th : Forum interaction, reviews, and PC discussion
32+
- May 5th : Notification to authors
33+
- June 20th : Workshop in Lille, France
34+
- July 20th (tentative) : Camera-ready for post-proceedings
35+
- October 2025 (tentative) : Invitation to special issue
36+
37+
All dates are in the anywhere on Earth time zone.
38+
39+
40+
=== SCOPE ===
41+
42+
The general scope of the workshop is interaction and concurrency,
43+
broadly construed. The workshop welcomes contributions spanning the
44+
spectrum from theoretical models to practical implementations and
45+
empirical studies. Topics of interest include (but are not limited
46+
to):
47+
48+
* Formal semantics
49+
* Process algebras and calculi
50+
* Models and languages
51+
* Protocols
52+
* Logics and types
53+
* Expressiveness
54+
* Model transformations
55+
* Tools, implementations, and experiments
56+
* Specification and verification
57+
* Coinductive techniques
58+
* Tools and techniques for automation
59+
* Synthesis techniques
60+
61+
Prospective authors are welcome to contact the chairs for advice on
62+
whether their proposed submission is in scope.
63+
64+
=== SELECTION PROCEDURE ===
65+
66+
Since its first edition in 2008, the distinguishing feature of ICE has
67+
been an innovative paper selection mechanism based on an interactive,
68+
friendly, and constructive discussion amongst authors and PC members
69+
in an online forum.
70+
71+
During the review phase, each submission is published in a dedicated
72+
discussion forum. The discussion forum can be accessed by the authors
73+
of the submission and by all PC members not in conflict with the
74+
submission (the forum preserves anonymity). The forum is used by
75+
reviewers to ask questions, clarifications, and modifications from the
76+
authors, allowing them better to explain and to improve all aspects of
77+
their submission. The evaluation of the submission will take into
78+
account not only the reviews, but also the outcome of the discussion.
79+
80+
As witnessed by the past editions of ICE, this procedure considerably
81+
improves the accuracy of the reviews, the fairness of the selection,
82+
the quality of camera-ready papers, and the discussion during the
83+
workshop.
84+
85+
ICE adopts a light double-anonymous reviewing process, detailed below.
86+
87+
88+
=== SUBMISSION GUIDELINES ===
89+
90+
Submissions must be made electronically in PDF format via hotcrp:
91+
92+
https://ice25.hotcrp.com/
93+
94+
We invite two types of submissions:
95+
96+
* Research papers: original contributions that will be published
97+
in the workshop post-proceedings. Research papers must not be
98+
simultaneously submitted to other conferences or workshops with
99+
refereed proceedings. Research papers should be 3-16 pages
100+
(references not included). Short research papers are
101+
welcome; for example a 5 page short paper fits this category
102+
perfectly. The submitted PDF can use any LaTeX style (but the
103+
post-proceedings will use the EPTCS style).
104+
105+
* Oral communications: will be presented at the workshop, but will
106+
not appear in the post-proceedings. This type of contribution
107+
includes e.g., previously published contributions, preliminary
108+
work, and position papers. There is no strict page limit for
109+
this kind of submission but papers of 1-5 pages would be
110+
appreciated. For example, a one page summary of previously
111+
published work is welcome in this category.
112+
113+
Authors of research papers must omit their names and institutions from
114+
the title page, they should refer to their other work in the third
115+
person and omit acknowledgements that could reveal their identity or
116+
affiliation. The purpose is to avoid any bias based on authors’
117+
identity characteristics, such as gender, seniority, or nationality,
118+
in the review process. Our goal is to facilitate an unbiased approach
119+
to reviewing by supporting reviewers’ access to works that do not
120+
carry obvious references to the authors’ identities. As mentioned
121+
above, this is a lightweight double-anonymous process. Anonymization
122+
should not be a heavy burden for authors, and should not make papers
123+
weaker or more difficult to review. Advertising the paper on alternate
124+
forums (e.g., on a personal web-page, pre-print archive, email, talks,
125+
discussions with colleagues) is permitted.
126+
127+
Papers in the “Oral communications” category need not be
128+
anonymized. For any questions concerning the double anonymous process,
129+
feel free to consult the ICEcreamers.
130+
131+
We are keen to enhance the balanced, inclusive and diverse nature of
132+
the ICE community, and would particularly encourage female colleagues
133+
and members of other underrepresented groups to submit their work.
134+
135+
Submission by PC members (apart from the ICEcreamers) is allowed and encouraged.
136+
137+
=== PUBLICATIONS ===
138+
139+
Accepted research papers and communications must be presented at the
140+
workshop by one of the authors.
141+
142+
Accepted research papers will be published after the workshop in
143+
Electronic Proceedings in Theoretical Computer Science.
144+
145+
We plan to invite authors of selected papers and brief announcements
146+
to submit their work in a special issue in the Journal of Logical and
147+
Algebraic Methods in Programming (Elsevier). Such contributions will
148+
be peer-reviewed according to the standard journal policy, but they
149+
will be handled in a shorter time than regular submissions. A list of
150+
published and in preparation special issues of previous ICE editions
151+
is reported on the ICE website.
152+
153+
=== INVITED SPEAKER ===
154+
155+
Kirstin Peters (Augsburg University, Germany)
156+
157+
=== ICECREAMERS (PC co-chairs) ===
158+
159+
* Clément Aubert (Augusta University, 🇺🇸) - aubert@math.cnrs.fr
160+
* Cinzia Di Giusto (Université Côte d’Azur, CNRS, 🇫🇷) -
161+
cinzia.di-giusto@unice.fr
162+
* Simon Fowler (University of Glasgow, 🇬🇧) - simon.fowler@glasgow.ac.uk
163+
* Violet Ka I Pun (Western Norway University of Applied Sciences, 🇳🇴) -
164+
Violet.Ka.I.Pun@hvl.no
165+
166+
Use ice@framalistes.org to reach all the ICEcreamers at once.
167+
168+
169+
=== PROGRAM COMMITTEE ===
170+
171+
* Franco Barbanera (Dept. of Mathematics and Computer Science - University of Catania, 🇮🇹)
172+
* Manel Barkallah (University of Namur, 🇧🇪)
173+
* Matteo Cimini (University of Massachusetts Lowell, 🇺🇸)
174+
* Farzaneh Derakhshan (Illinois Tech, 🇺🇸)
175+
* Emanuele D’Osualdo (University of Konstanz, 🇩🇪)
176+
* Luc Edixhoven (University of Southern Denmark, 🇩🇰)
177+
* Lorenzo Gheri (University of Liverpool, 🇬🇧)
178+
* Lucie Guillou (IRIF, Université Paris Cité, 🇫🇷)
179+
* Ping Hou (University of Oxford, 🇬🇧)
180+
* Andrew K. Hirsch (University at Buffalo, SUNY, 🇺🇸)
181+
* Jonas Kastberg Hinrichsen (IT University of Copenhagen, 🇩🇰)
182+
* Matthew Alan Le Brun (University of Glasgow, 🇬🇧)
183+
* Andreia Mordido (LASIGE, University of Lisbon, 🇵🇹)
184+
* Maurizio Murgia (Gran Sasso Science Institute, 🇮🇹)
185+
* Jonah Pears (University of Kent, 🇬🇧)
186+
* Felix Stutz (University of Luxembourg, 🇱🇺)
187+
* Petra van den Bos (Formal Methods and Tools group (FMT), University of Twente, 🇳🇱)
188+
* Bas van den Heuvel (HKA Karlsruhe and University of Freiburg, 🇩🇪)
189+
190+
=== STEERING COMMITTEE ===
191+
192+
* Massimo Bartoletti (University of Cagliari, 🇮🇹)
193+
* Ludovic Henrio (ENS Lyon, 🇫🇷)
194+
* Sophia Knight (University of Minnesota Duluth, 🇺🇸)
195+
* Ivan Lanese (University of Bologna, 🇮🇹)
196+
* Larisa Safina (INRIA Lille, 🇫🇷)
197+
* Alceste Scalas (Technical University of Denmark, 🇩🇰)
198+
199+
=== PREVIOUS EDITIONS ===
200+
201+
Please refer to https://ice-workshop.github.io/#previous-editions
202+
203+
=== MORE INFORMATION ===
204+
205+
For additional information, please contact the ICEcreamers at
206+
207+
ice@framalistes.org
208+
209+
or visit our series website
210+
211+
https://ice-workshop.github.io/
212+
213+
or the 2025 ICE website
214+
215+
https://www.discotec.org/2025/satellite/ice

0 commit comments

Comments
 (0)