ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

ICE 2018 - 11th Interaction and Concurrency Experience

Date2018-06-20 - 2018-06-21


VenueMadrid, Spain Spain



Topics/Call fo Papers

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
Logics and types
Model transformations
Tools, implementations, and experiments
Specification and verification
Coinductive techniques
Tools and techniques for automation
Synthesis techniques

Last modified: 2018-03-06 20:39:35