Coordination 07

Modern information systems rely increasingly on combining concurrent, distributed, real-time, reconfigurable and heterogeneous components. New models, architectures, languages, and verification techniques are needed to cope with the complexity induced by the demands of today's software development. COORDINATION aims to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, thereby increasing modularity, simplifying reasoning, and ultimately enhancing software development.

 

TOPICS

Programming language techniques that support orchestration and control of distributed and concurrent interaction.

Middleware architectures: shared spaces, publish-subscribe, event-based.

Dynamic software architectures: software composition and scripting languages, dynamic software evolution and update, configuration and deployment languages.

Dependable, Resource-aware, Real-time and Embedded system coordination.

Models and Foundations: component composition, verification, management of security and dynamic aspects of coordination.

Web services: Service-oriented Architectures, Workflow Systems.

Programming abstractions for decentralized distributed systems such as P2P, mobile ad-hoc and sensor networks.

Type systems and specification languages appropriate for coordination of concurrent systems.

Case studies from E-Commerce, Factory Automation, Collaboration, Command and Control, or other systems.

 

IMPORTANT DATES

Submission of papers	January 27, 2007
Notification of acceptance	March 7, 2007
Conference	June 6-8, 2007

 

JOURNAL ISSUE

Selected papers will be invited to a special issue of The Science of Computer Programming.

STUDENT PAPER AWARD

A best student paper award will be given at the conference. To be eligible for consideration indicate on your submission if the paper's lead author is a student.

PROCEEDINGS

Proceedings of previous editions of this conference were published by Springer, in the Lecture Notes in Computer Science (LNCS) series and are available as LNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454 and 4038. Our intention is to continue this series.