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 2022 is a satellite workshop of DisCoTec 2022, held on 17 June 2022.
COVID-19: ICE 2022 will be a physical, in-person event, with some support for remote presence, both for speakers and for other participants who are unable or unwilling to come.
ICE 2022 Dinner: 17 June, 21:30 at Mara Meo - Piazza San Francesco, Lucca.
(If you wish to join but have not filled the attendance sheet, please contact
ice22 (at) googlegroups.com)
ice22 (at) googlegroups.com
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:
You can download the ICE 2022 pre-proceedings.
The talks will take place at Cappella Guinigi.
All times are listed for CEST (Central European Summer Time)
|9:00-9:10||Opening||Welcome to ICE 2022|
|9:10-10:10||Invited talk||Matthew Parkinson (Microsoft Research UK): Project Verona’s Concurrency Model|
|10:10-10:40||Verification||Eduard Kamburjan, Nathan Wasser: The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics|
|10:40-11:00||Muhammad Usama Sardar, Christof Fetzer: Demystifying Attestation in Intel Trust Domain Extensions (TDX) via Formal Verification (oral communication)|
|11:30-12:00||Communication models||Gerard Tabone, Adrian Francalanza: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules|
|12:00-12:30||Luc Edixhoven, Guillermina Cledou, José Proença, Sung-Shik Jongmans: Branching pomsets for choreographies|
|12:30-13:00||Franco Barbanera, Ivan Lanese, Emilio Tuosto: On Composing Communicating Systems|
|14:30-15:30||Invited talk||Ilaria Castellani (INRIA): Global types and event structure semantics for asynchronous multiparty sessions|
|15:30-16:00||Monitoring||Matteo Cimini: Lang-n-Send Extended: Sending Regular Expressions to Monitors|
|16:30-16:50||Oral communications||Marco Bernardo, Claudio Antares Mezzina: The NiRvAna project: Noninterference and Reversibility Analysis in Private Blockchains|
|16:50-17:10||Michele Loreti, Michela Quadrini: A Framework for Modeling Behaviour of Aggregated Agents|
|17:10-17:40||Discussion||The ICE Workshop: Past, Present, and Future|
Project Verona is a research programming language exploring various interactions between ownership, memory management and concurrency. In this talk, I will present its concurrency model, which enables asynchronously creating atomic and ordered units of work with exclusive access to a collection of independent resources. I will demonstrate the approach through a series of pedagogical examples, and briefly discuss both the implementation and the performance of the paradigm.
Matthew Parkinson is a Principal Researcher at Microsoft Research. Prior to joining Microsoft in 2010, he spent four years as a RAEng/EPSRC research fellowship at the University of Cambridge, where he also did his Ph.D..
His research focusses on Concurrency and Ownership, with a particular focus on memory safety. His recent research focusses on Project Verona and its allocator snmalloc. Project Verona is a new language to explore research about efficient and safe ways to manage memory.
In this talk, I will address the connection between multiparty session types (MPSTs) and event structures (ESs), focussing on a core asynchronous session calculus and on two simple classes of ESs, Prime ESs and Flow ESs. I will first introduce a new notion of global type for asynchronous multiparty sessions, which splits the standard communication construct of MPSTs in two constructs (one for output and one for input), and show that this new typing ensures the expected properties for asynchronous sessions, including progress.
I will then present an interpretation of asynchronous multiparty sessions as Flow ESs and an interpretation of our new global types as Prime ESs. I will conclude with our main result, stating that the ES interpretation of a session is equivalent, when the session is typable, to the ES interpretation of its type, namely, that the two interpretations yield isomorphic domains of configurations.
Based on joint work with Mariangiola Dezani-Ciancaglini and Paola Giannini.
Ilaria Castellani is a senior researcher at INRIA Sophia Antipolis, France. Her main research interests are in non-interleaving semantics for process calculi, language-based security for concurrent programs and processes, and multiparty session types. She was the chair of the IFIP TC1 Working Group 1.8 on Concurrency Theory from 2014 to 2020.
The following dates are in the Anywhere on Earth time zone.
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). 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 evaluation of the submission will take 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 adopts a light double-blind reviewing process, detailed below.
Submissions must be made electronically in PDF format via OpenReview.
We invite two types of submissions:
Research papers, original contributions that will be published in the workshop post-proceedings. Research papers must not be simultaneously submitted to other conferences/workshops with refereed proceedings. Research papers should be 3-16 pages plus at most 2 pages of references. Short research papers are welcome; for example a 5 page short paper fits this category perfectly. The submitted PDF can use any LaTeX style (but the post-proceedings will use the EPTCS style).
Oral communications will be presented at the workshop, but will not appear in the post-proceedings. This type of contribution includes e.g. previously published contributions, preliminary work, and position papers. There is no strict page limit for this kind of submission but papers of 1-5 pages would be appreciated. For example, a one page summary of previously published work is welcome in this category.
Authors of research papers must omit their names and institutions from the title page, they should refer to their other work in the third person and omit acknowledgements that could reveal their identity or affiliation. The purpose is to avoid any bias based on authors’ identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers’ access to works that do not carry obvious references to the authors’ identities. As mentioned above, this is a lightweight double-blind process. Anonymization should not be a heavy burden for authors, and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted, and authors will not be penalized by for such advertisement.
Papers in the “Oral communications” category need not be anonymized. For any questions concerning the double blind process, feel free to consult the ICEcreamers.
We are keen to enhance the balanced, inclusive and diverse nature of the ICE community, and would particularly encourage female colleagues and members of other underrepresented groups to submit their work.
Accepted research papers and communications must be presented at the workshop by one of the authors.
Accepted research papers will be published after the workshop in Electronic Proceedings in Theoretical Computer Science.
We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier) (to be confirmed). Such contributions will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported below.
aubert (at) math.cnrs.fr
cinzia.di-giusto (at) unice.fr
larisa.safina (at) inria.fr
alcsc (at) dtu.dk
ice22 (at) googlegroups.com to reach all the ICEcreamers at once.
★ The ICE 2022 Outstanding PC Member Award was awarded to Duncan Paul Attard!
The previous editions of ICE have been held on:
For additional information, please contact the ICEcreamers at
ice22 (at) googlegroups.com.