ICE 2011

June 9th, 2011      Reykjavik, Iceland (satellilte of DisCoTec'11) organised with Artist partners 


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

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet