ICE 2015 - 8th 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 synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models. We solicit contributions relevant to Interaction and Concurrency, including but not limited to:
Formal semantics
Process algebras and calculi
Models and languages
Protocols
Logics and types
Expressiveness
Model transformations
Tools, implementations, and experiments
Specification and verification
Co-inductive techniques
Tools and techniques for automation
Synthesis techniques
Selection Procedure
Since its first edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members. During the review phase, each submission is published on a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all the PC members not in conflict with the submission (the forum preserves anonymity of reviewers). The forum is used by reviewers to ask questions and clarifications to the authors, allowing them to better explain all the aspects of their submission. The evaluation of the submission will take into account not only the reviews, but also the outcome of the discussion. As witnessed by the past seven editions of ICE, this procedure considerably improves the accuracy of the reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop.