Download the CfP [pdf | txt | doc] and the ICE 2011 leaflet [pdf]

The general scope includes theoretical and applied aspects of interactions and the handshaking mechanisms used among actors of concurrent/distributed systems. The workshop intends to attract researchers interested in models, verification, tools and programming primitives for complex interactions.

The theme of ICE’11 is Reliable and Contract-based Interactions. Reliable interactions are, e.g., those providing suitable guarantees on the overall behaviour of interactive systems, enjoying suitable logical safety/liveness properties, adhering to certain QoS standards, offering certain levels of trust/security. Contract-based interactions are those where the interacting entities are committed to give certain guarantees whenever certain assumptions are met by their operating environment (including other autonomous entities and networking middleware). This way, contracts can be used to define faulty and malicious behaviours and to identify the responsible in case of contract violation or abuse.

Topics of interest include, but shall not be limited to:
 logics and types for interactions
 concurrent models and semantics
 techniques and tools for specification, analysis, verification of reliable interaction
 programming primitives for reliable interactions
 languages, protocols and mechanisms for sound coordination
 "by construction" guarantees for reliable interaction
 expressiveness results
 formal languages for contracts
 formal analysis of contracts
 contract negotiation, discovery and monitoring

Submission guidelines

Réalisation Axome - Création de sites Internet