Preface

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31st of August 2009, as a satellite event of CONCUR'09. The previous edition of ICE was affiliated to ICALP 2008 (Reykjavik, Iceland).

The ICE workshops are intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science and, each year, the workshop focuses on a specific topic: ICE'09 focused on structured interactions meant as the class of synchronisations that go beyond the "simple" point-to-point synchronisations. Few examples of such structured interactions are: multicast or broadcast synchronisations, even-notification based interactions, time dependent interactions, distributed transactions, stateless/statefull interactions. As a matter of fact, different structured interactions are typically required when specifying views of a distributed system or when considering it at different levels of abstraction. For instance, multicast or broadcast interactions (desirable at a high level of abstraction) have to be mapped on more basic kind of interactions like point-to-point asynchronous synchronisations.

The Program Committee has selected the papers 7 included in this volume (selected among 10 submitted) after a careful revision process supported by an on-line forum fostering discussions among reviewers and authors. In fact, after the usual review phase, all the papers have been thoroughly discussed by the PC and their authors. As for ICE'08, the debates improved the quality of the accepted papers (as well as of the reviews) and stimulated the scientific discussions during the event.

ICE'09 also featured the invited talks of Farhad Arbab and Paul Blain Levy (jointly with SOS09).

The selection has been carried out by the program committee of ICE'09, which consisted of the editors of this volume and

• Simon Bliudze (CEA LIST, France)
• Eduardo Bonelli (LIFIA, University of La Plata, Argentina)
• Andrea Bracciali (University of Pisa, Italy)
• Roberto Bruni (University of Pisa, Italy)
• Marco Carbone (IT University of Copenhagen, Denmark)
• Bob Coecke (Oxford University, UK)
• Erik de Vink (Technische Universiteit Eindhoven)
• Georgios Fainekos (NEC Laboratories, USA)
• Carlo A. Furia (ETH Zuerich, Switzerland)
• Fabio Gadducci (University of Pisa, Italy)
• Ichiro Hasuo (Kyoto University, Japan)
• Thomas Hildebrandt (IT University of Copenhagen, Denmark)
• Daniel Hirschkoff (ENS, Lyon, France)
• Barbara Koenig (University of Duisburg-Essen, Germany)
• Ivan Lanese (University of Bologna, Italy)
• Hernan Melgratti (Universidad de Buenos Aires, Argentina)
• Dimitris Mostrous (Imperial College, London, UK)
• Madhavan Mukund (Chennai mathematical Institute, India)
• Dejan Nickovic (EPFL Lausanne, Switzerland)
• Ana Sokolova (University of Salzburg, Austria)
• Hugo Torres Vieira (New University of Lisbon, Portugal)
• Angelo Troina (University of Torino, Italy)
• Herbert Wiklicky (Imperial College, London, UK)
• Nobuko Yoshida (Imperial College, London, UK)