COORDINATION 2012

As ICT technologies and software-intensive systems are increasingly embedded into the fabric of everyday life, effective coordination techniques are needed to enhance our ability to develop software that is responsive to emerging societal demands and changing application needs, exploits effectively recent advances in computing and communication technology, and is capable of adaptive behaviour in the short and in the long term.  COORDINATION is the premier forum for exposing innovating research results and relevant experience reports on software technologies for collaboration and coordination in concurrent, distributed, and socio-technical systems. Its distinctive feature is the 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 and social domain. 

Coordination 2012 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. The focus is on languages, formalisms, models, middleware, patterns, and algorithms that conceptually support a proper engineering of the interaction dimension. Research paper should demonstrate an ability to increase modularity, adaptivity, simplify reasoning, and ultimately enhance the software development process and its integration into a socio-techical context. Both practical and foundational perspectives are of interest. 

Given the increasing importance of coordination models and technologies in almost every domain of our existence, the organizers of Coordination 2012 are keen to provide a forum for studies that address practical concerns and industrial grade solutions, e.g., the introduction of concurrency and distribution concepts to novel domains, comparative evaluations of programming models on important problems, and the adoption of domain-specific languages. Experience reports are thus welcome that describe lessons learned from the application of proposed models and techniques to problems in the real world. 

In addition, the conference this year will welcome short "Visions in Progress" papers that tries to look far ahead into the future of ICT and society to expose innovative - though preliminary - ideas on highly innovative models, technologies, or applications, related to coordination models/languages/technologies.
Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2013 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; for example, application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages.

• PROGRAMMING ABSTRACTIONS AND LANGUAGES: Design and implementation of languages and middleware related to multicore programming, stream programming, data parallel programming, event-driven programming, web programming, reactive programming, ...
• COORDINATION MODELS AND PARADIGMS: Service composition and orchestration, tuple spaces, publish-subscribe systems, event processing, workflow management, cloud managemement, ...
• SOFTWARE MANAGEMENT AND SOFTWARE ENGINEERING: Component and module systems for distributed software, dynamic software evolution and update technologies, configuration and deployment architectures, multicore and distributed coordination patterns, ...
• SPECIFICATION AND VERIFICATION: Modeling and analysis of issues related to security, privacy, dependability, resource-awareness, real time, ...
• FOUNDATIONS AND TYPES: Calculi, process models, type systems for concurrency and distribution, component conformance, contracts, ...
• SOFTWARE FOR HIGHLY DECENTRALIZED TECHNOLOGIES: P2P frameworks, nomadic networks, mobile ad-hoc networks, sensor networks, RFID-technology, vehicle-area networks, body-area networks, Internet-of-Things, cyber-physical systems, ...
• COORDINATION FOR ADAPTIVE AND AUTONOMIC SYSTEMS: adaptive coordination models and patterns, self-organization and coordination, coordination in systems of feedback loops, middleware for adaptive coordination, multiagent systems, ...
• SOCIO-TECHNICAL SYSTEMS: coordination in social and socio-technical systems, coordination and social networking, coordination for crowd-sourcing and human computation systems, coordination in urban environments, ...
• COORDINATION FOR HUMANITY: Applications of coordination models to people-centric sensing, ambient intelligence, green computing, coordination for sustainability, ...
• EXPERIENCE REPORTS: Case studies and industrial experiences with coordination in multicore and/or distributed development, business process modeling, e-commerce, app-development, web applications, ...