COORDINATION 2012 - 14th International Conference on Coordination Models and Languages

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 papers 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 try to look far ahead into the future of ICT and society to expose novel - though preliminary - ideas on highly innovative models, technologies, or applications, related to coordination models/languages/technologies.
Topics of interest
COORDINATION 2012 topics of interest include (but are not limited to):
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, …