ICE 2022 - 15th Interaction and Concurrency Experience

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)

See the ICE 2022 programme and pre-proceedings, and proceedings.

Highlights

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:

Programme and Pre-proceedings

You can download the ICE 2022 pre-proceedings. The proceedings are also available as EPTCS 365.

The talks will take place at Cappella Guinigi.

All times are listed for CEST (Central European Summer Time)

Time CEST Session Talk
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:00-11:30 Coffee break  
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
13:00-14:30 Lunch break  
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:00-16:30 Coffee break  
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
17:40-17:50 Conclusion  

Invited Speakers

Matthew Parkinson

Talk: Project Verona’s Concurrency Model

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.

Biography

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.

Ilaria Castellani

Talk: Global types and event structure semantics for asynchronous multiparty sessions

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.

Biography

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.

Important Dates

The following dates are in the Anywhere on Earth time zone.

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). 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.

Submission Guidelines

Submissions must be made electronically in PDF format via OpenReview.

We invite two types of submissions:

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.

Publications

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. (The proceedings have been published as EPTCS 365.)

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.

ICEcreamers

Use ice22 (at) googlegroups.com to reach all the ICEcreamers at once.

Programme Committee

The ICE 2022 Outstanding PC Member Award was awarded to Duncan Paul Attard!

Steering Committee

Previous Editions

The previous editions of ICE have been held on:

More Information

For additional information, please contact the ICEcreamers at ice22 (at) googlegroups.com.