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.
- Distinctive selection procedure.
- ICE publishes full papers in EPTCS -- an open access 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 (Elsevier).
- ICE strives to maintain a diverse and balanced program committee, and is in general chaired by 4 "ICECreamers" with different backgrounds, geographical locations and interests.
Past proceedings can easily be accessed through DBLP or by consulting our previous editions.
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:
- Formal semantics
- Process algebras and calculi
- Models and languages
- Protocols
- Logics and types
- Expressiveness
- Model transformations
- Tools, implementations, and experiments
- Specification and verification
- Coinductive techniques
- Tools and techniques for automation
- Synthesis techniques
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.
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ć |
As of 2025, the chairs of the workshop are:
- Clément Aubert (Augusta University, USA) -
aubert (at) math.cnrs.fr - Cinzia Di Giusto (Université Côte d'Azur, CNRS, I3SSophia Antipolis, FR) -
cinzia.di-giusto (at) unice.fr - Simon Fowler (University of Glasgow School of Computing Science, UK) -
simon.fowler (at) glasgow.ac.uk - Violet Ka I Pun (Western Norway University of Applied Sciences, NO) -
Violet.Ka.I.Pun (at) hvl.no
Use ice (at) framalistes.org to reach all the ICEcreamers at once.
As of 2025, the members of the steering committee are:
- Massimo Bartoletti (University of Cagliari, IT)
- Ludovic Henrio (ENS Lyon, FR)
- Sophia Knight (University of Minnesota Duluth, USA)
- Ivan Lanese (University of Bologna, IT)
- Larisa Safina (INRIA Lille, FR)
- Alceste Scalas (Technical University of Denmark, DK)
*[TBP]: To Be Published *[TBC]: To Be Confirmed
For additional information, please contact the ICEcreamers at ice (at) framalistes.org.