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

Réalisation Axome - Création de sites Internet