COORDINATION 2013 - 15th International Conference on Coordination Models and Languages

COORDINATION 2013 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and socio-technical systems. Its distinctive feature is its emphasis on high-level abstractions that capture interaction patterns manifest at all levels of the software architecture and extending into the realm of the end-user domain. COORDINATION 2013 seeks high-quality contributions on the usage, study, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems.
Main topics of interest
Programming abstractions and languages
Coordination models and paradigms
Software management and software engineering
Specification and verification
Foundations and types
Software for decentralized technologies
Multicore programming
Adaptive and autonomic systems
Coordination for humanity
Expected contributions
Research papers: that demonstrate an ability to increase modularity, improve adaptive behavior, simplify reasoning, and ultimately enhance the software development process and its integration into a socio-technical context. Both practical and foundational perspectives are of interest.
Experience reports: that describe lessons learned from the application of proposed models and techniques to problems in the real world.
Visions in Progress papers: that look far ahead into the future of coordination-related ideas. Exploring the long-term vision of coordination languages, models, middleware and algorithms.