[ecoop-info] CFP COORDINATION'07

[Jan Vitek]

+---------------------------------------------------------------------+
|                      First CALL FOR PAPERS                          |
|                                                                     |
|                       COORDINATION 2007                             |
|  9th International Conference on Coordination Models and Languages  |
|                                                                     |
|             - New directions in Coordination -                      |
|                                                                     |
|                 Paphos, Cyprus 6 - 8 June 2007                      |
|                                                                     |
+---------------------------------------------------------------------+
|                Paper submission: 27 January 2007                    |
|                Author notification: 7 March 2007                    |
|                Camera-ready copy: 26 March 2007                     |
+---------------------------------------------------------------------+
|               http://www.discotec07.cs.ucy.ac.cy                    |
+---------------------------------------------------------------------+

Modern information systems rely increasingly on combining concurrent,
distributed, real-time, reconfigurable and heterogeneous components.
New models, architectures, languages, and verification techniques are
necessary 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, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.

Topics of interest:

-  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.



                           PROGRAM COMMITTEE

   Nadia Busi          University of Bologna, IT
   Vinny Cahill        Trinity, IE
   Paolo Ciancarini    University of Bologna, IT
   William Cook        University of Texas, Austin, US
   John Field          IBM, US
   Chris Gill          Washington University, US
   Aniruddha Gokhale   Vanderbilt, US
   Chris Hankin        Imperial College, UK
   Mike Hicks          University of Maryland, US
   Valerie Issarny     INRIA, FR
   Christoph Kirsch    University of Salzburg, AT
   Doug Lea            SUNY Oswego, US
   Toby Lehman         IBM, US
   Alberto Montresor   University of Trento, IT
   Amy L. Murphy       ITC-IRST, IT & U. of Lugano, CH (Co-chair)
   Oscar Nierstrasz    University of Bern, CH
   Anna Philippou      University of Cyprus, GR
   Ernesto Pimentel    University of Malaga, ES
   Giovanni Russello   Imperial College, UK
   Jan Vitek           Purdue University, US (Co-chair)
   Jim Waldo           SUN Microsystems, US
   Herbert Wiklicky    Imperial College, UK

                           STEERING COMMITTEE

   Farhad Arbab        CWI, NL
   Paolo Ciancarini    University of Bologna, IT
   Rocco De Nicola     University of Florence, IT (Chair)
   Chris Hankin        Imperial College, UK
   Jean-Marie Jacquet  University of Namur, BE
   Amy L. Murphy       ITC-IRST & U. of Lugano, CH
   Antonio Porto       New University of Lisbon, PT
   Gian Pietro Picco   Politecnico di Milano, IT
   Gruia-Catalin Roman Washington University Saint Louis, USA
   Carolyn Talcott     SRI International, USA
   Jan Vitek           Purdue University, USA
   Herbert Wiklicky    Imperial College, UK


                            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.

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

A best student paper award will be given at the conference. To be  
eligible
for consideration indicate on your submission if one or more of the
paper's authors are students.

                        SUBMISSION INSTRUCTIONS

Authors are invited to submit full papers electronically in PDF  
before 27
January 2007. Further instructions are available from the conference web
site.

Submissions must be formatted according to the LNCS guidelines (see
http://www.springer.de/comp/lncs/authors.html) and must not exceed 17
pages  in length (including all supplementary material). Papers that are
not in the requested format or exceed the mandated length will be  
rejected
without going through the review process. Simultaneous or similar
submissions to other conferences or journals are not allowed.

                            IMPORTANT DATES

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