Scope
The theme of ICE09 will be structured interactions by which we mean 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.
Not only researchers have studied each structured interactions in isolation, but they have also considered theoretical frameworks for their uniform representations as well as relationships among different structured 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 interest in such interactions is growing due to the recent trend in providing abstractions that allow one to master the complexity of distributed systems. As an example, many researchers are trying to provide theories and frameworks that allow sophisticated interactions to be eased. Remarkable research lines in this area are the use of types or behavioural equivalences to guarantee properties of concurrent/distributed systems (eg., progress properties) or the use of model-driven approaches in order to achieve correctness "by construction" (eg., graceful termination), or else the relations among interactions, mobility and spatial aspects (eg., bigraphs).
The scope is to include theoretical and applied aspects of interactions and the synchronization mechanisms used among actors of concurrent/distributed systems. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning such structured interactions.