ICE 2013 - 6th Interaction and Concurrency Experience

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 related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.