Interaction and Concurrency Experience (ICE) Workshop

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 a satellite workshop of DisCoTec, generally held in June in Europe.

📢 Highlights

Past proceedings can easily be accessed through DBLP or by consulting our previous editions.

đź“Ś 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.

We solicit contributions relevant to Interaction and Concurrency, including but not limited to:

🌱 The ICE Selection Procedure

Since its first edition in 2008, 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.

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.

🌟 ICE Outstanding PC Members

Since 2021, the 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
2024 Bas van den Heuvel
2023 SergueĂŻ Lenglet
2022 Duncan Paul Attard
2021 Ivan Prokić

🍦 ICEcreamers (Chairs)

As of 2025, the chairs of the workshop are:

Use ice (at) framalistes.org to reach all the ICEcreamers at once.

✇ Steering Committee

As of 2025, the members of the steering committee are:

⌛ Previous Editions

Year Date(s) Location Co-location Proceedings Special Issue
ICE’25 June 16 or 20, 2025 Lille (FR) DisCoTec’25 TBC TBC
ICE’24 June 21, 2024 Groningen (NL) DisCoTec’24 EPTCS (vol. 414) TBC
ICE’23 June 19, 2023 Lisbon (PT) DisCoTec’23 EPTCS (vol. 383) TBC
ICE’22 June 17, 2022 Lucca (IT) DisCoTec’22 EPTCS (vol. 365) JLAMP (10NR188XZQV)
ICE’21 June 18, 2020 Online DisCoTec’21 EPTCS (vol. 347) JLAMP (106L7VVC5FC)
ICE’20 June 19, 2020 Online DisCoTec’20 EPTCS (vol. 324) JLAMP (1) and JLAMP (2)
ICE’19 June 20-21, 2019 Lyngby (DK) DisCoTec’19 EPTCS (vol. 304) JLAMP (101ZSK6ZFQ4)
ICE’18 June 20-21, 2018 Madrid (ES) DisCoTec’18 EPTCS (vol. 279) JLAMP (10XN45J051V)
ICE’17 June 21-22 2017 Neuchâtel (CH) DisCoTec’17 EPTCS (vol. 261) JLAMP (Vol. 109)
ICE’16 June 21-22, 2016 Heraklion (GR) DisCoTec’16 EPTCS (vol. 223) JLAMP (Vol. 92)
ICE’15 June 4-5, 2015 Grenoble (FR) DisCoTec’15 EPTCS (vol. 189) JLAMP (Vol. 86, Number 1)
ICE’14 June 6, 2014 Berlin (DE) DisCoTec’14 EPTCS (vol. 166) JLAMP (Vol. 85, Number 3)
ICE’13 June 6, 2013 Florence (IT) DisCoTec’13 EPTCS (vol. 131) SCP (vol. 109)
ICE’12 June 16, 2012 Stockholm (SE) DisCoTec’12 EPTCS (vol. 104) SCP (vol. 100)
ICE’11 June 9, 2011 Reykjavik (IS) DisCoTec’11 EPTCS (vol. 59) SACS (Vol. XXII)  
ICE’10 June 10, 2010 Amsterdam (NL) DisCoTec’10 EPTCS (vol. 38) SACS (with CAMPUS’10 and CS2BIO’10, Vol. XXI)
ICE’09 August 31, 2009 Bologna (IT) CONCUR’09 EPTCS (vol. 12) MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2)
ICE’08 July 6, 2008 Reykjavik (IS) ICALP’08 ENTCS (vol. 229-3)  

👤 More Information

For additional information, please contact the ICEcreamers at ice (at) framalistes.org.