Preface

This volume contains the proceedings of ICE, the 18th Interaction and Concurrency Experience, which was held in Lille, France, as a satellite event of DisCoTec. The previous editions of ICE are now conveniently listed on the series website, which also links to ICE’s dblp page. The conference ICE is co-located with since 2010, DisCoTec, also continued its efforts to collect and link to previous editions, sometimes using the services of the Wayback Machine.

The ICE workshop series features a distinguishing review and selection procedure: PC members are encouraged to interact with authors in a double anonymous environment. This year again, these interactions took place on the HotCRP platform which combines paper selection features with forum-like interactions. As in the past editions, the forum discussion during the review and selection phase of ICE considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers¹ and offered the basis for lively discussion during the workshop. The time and effort spent on the interaction between reviewers and authors is rewarding for all parties. The discussions on HotCRP made it possible to resolve misunderstandings at an early stage of the review process, to discover and correct mistakes in key definitions, and to improve examples and presentation.

ICE was glad to receive 7 submissions, including one that was withdrawn and a short presentation that is not part of this proceedings. Each paper was reviewed by three PC members and about 75 comments were made in total, witnessing very lively discussions between PC members and authors, and during the discussion phase. We were proud to host one invited talk by Kirstin Peters. The abstract of her invited talk is included in this volume, together with the final versions of the research papers, which take into account the discussion at the workshop and after.

We would like to thank the 14 authors of all the submitted papers for their interest in the workshop. We thank Kirstin Peters for accepting our invitations to present her work. We are extremely grateful for the efforts of the PC members:

• Franco Barbanera (Dept. of Mathematics and Computer Science - University of Catania)

• Manel Barkallah (University of Namur)

• Matteo Cimini (University of Massachusetts Lowell)

• Farzaneh Derakhshan (Illinois Tech)

• Emanuele D’Osualdo (University of Konstanz)

• Luc Edixhoven (University of Southern Denmark) ⋆

• Lorenzo Gheri (University of Liverpool)

• Lucie Guillou (IRIF, Université Paris Cité)

• Ping Hou (University of Oxford)

• Andrew K. Hirsch (University at Buffalo, SUNY)

• Jonas Kastberg Hinrichsen (IT University of Copenhagen)

• Matthew Alan Le Brun (University of Glasgow)

• Andreia Mordido (LASIGE, University of Lisbon)

• Maurizio Murgia (Gran Sasso Science Institute)

• Jonah Pears (University of Kent)

• Felix Stutz (University of Luxembourg)

• Petra van den Bos (Formal Methods and Tools group (FMT) (University of Twente)

• Bas van den Heuvel (HKA Karlsruhe and University of Freiburg)

⋆ The ICE 2025 Outstanding PC Member Award was awarded this year to Luc Edixhoven!

Previously, were awarded:

• ICE 2024 Outstanding PC Member Award: Bas van den Heuvel

• ICE 2023 Outstanding PC Member Award: Sergueï Lenglet

• ICE 2022 Outstanding PC Member Award: Duncan Paul Attard

• ICE 2021 Outstanding PC Member Award: Ivan Prokić

We thank the DisCoTec organizers, in particular the General Chair of the Organizing Committee, Simon Bliudze, for providing a welcoming, inclusive and lively environment for the preparation and staging of the event. We thank the editors of EPTCS for the publication of these post-proceedings. Cinzia and Clément are particularly thankful for the trust put in them by the ICE steering committee during their 4-years mandate, and wish Simon and Violet all the best in the organization of future editions–it has been a pleasure working with you all.

On the Expressiveness of MPST

Multiparty session types (MPST) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. In this talk we will analyse the expressive power of MPST. In particular, we are interested in features that mark the difference expressive power of synchronous and asynchronous distributed languages. In the synchronous pi-calculus mixed choice is the main ingredient for its expressive power. Traditional MPST have in contrast usually a limited form of choice, in which alternative communication possibilities are offered by a single participant and selected by another. Accordingly, we extend MPST by a more general mixed choice construct.

Biography

Kirstin Peters studied computer science at the university of Potsdam, did her PhD at the technical university of Berlin. After some stops at Uppsala University and the technical university of Dresden, she had a junior professorship at the technical university of Darmstadt. Since April 2022, she is a professor at the university of Augsburg.