ICE 2012

June 16th, 2012      KTH in Stockholm (Sweden) (satellilte of DisCoTec'12) organised with Artist partners 


Download the CfP

Interaction and Concurrency Experiences (ICEs) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools and programming primitives for complex interactions.

The general scope of the venue includes theoretical and applied
aspects of interactions and the handshaking mechanisms used among
components of concurrent/distributed systems, but every experience focuses
on a different specific topic (see "Previous Editions" at the end of
this call) related to several areas of computer science in the broad
spectrum ranging from formal specification and analysis to studies
inspired by emerging computational models.

The theme of ICE’12 is Distributed coordination, execution models, and resilient interaction.

Topics of interest include, but shall not be limited to:

- Process algebra and coordination: transformation, analysis and implementation
- Models for distributed coordination and semantics
- Techniques and tools for specification, analysis, verification of resilient interaction
- Languages, protocols and mechanisms for sound distributed coordination
- Logics and types for interactions
- Comparison among different coordination and/or execution models
- Expressive power of coordination languages and execution models
- Formal semantics of coordination languages
- Formal verification of distributed coordinated architectures
- Relating different semantic models for coordination languages

Submission guidelines

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

Réalisation Axome - Création de sites Internet