[TYPES/announce] 1st Call for Papers: Coordination'08

[Herbert Wiklicky]

---------------------------------------------------------------------

                           CALL FOR PAPERS

                            COORDINATION 2008
     10th International Conference on Coordination Models and Languages

                  Member of the Confederated Conferences on
               Distributed Computing Techniques (DisCoTec 2008)
                       Oslo, Norway 4 - 6 June 2008

---------------------------------------------------------------------
                     Abstract submission:  8 January 2008
                     Paper submission:    15 January 2008
                     Author notification:  7 March 2008
                     Camera-ready copy:   26 March 2008
---------------------------------------------------------------------
                 http://discotec08.ifi.uio.no/Coordination08/
---------------------------------------------------------------------

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:

- MODELS AND FOUNDATIONS: models for distributed and concurrent
        interaction, component composition, service orchestration,
        workflow management.
- SPECIFICATION AND VERIFICATION: modeling and analysis of properties
     related to security, dependability, resource-awareness, real-time.
- DYNAMIC SOFTWARE ARCHITECTURES: software composition and scripting
        languages, dynamic software evolution and update, configuration and
        deployment languages. 
- PROGRAMMING ABSTRACTIONS AND LANGUAGES: techniques that support
     orchestration and control of distributed and concurrent interaction.
- MIDDLEWARE ARCHITECTURES: shared spaces, publish-subscribe, event-based.
- DECENTRALIZED AND DISTRIBUTED ARCHITECTURES: P2P, mobile ad-hoc and
     sensor networks.
- CASE STUDIES: application of coordination techniques in business process
        modelling, e-commerce, factory automation, collaboration, command and
        control.


DisCoTec'08 ORGANISERS:

General chairs:
Frank Eliassen, University of Oslo, Norway Einar Broch Johnsen, University of 
Oslo, Norway

COORDINATION'08 ORGANIZERS:

PC chairs:
Doug Lea, State University of New York at Oswego, USA Gianluigi Zavattaro, 
University of Bologna, Italy

Publicity Chair:
Herbert Wiklicky, Imperial College London, UK

Steering Committee:
Farhad Arbab, CWI, The Netherlands
Paolo Ciancarini, University of Bologna, Italy
Rocco De Nicola, University of Florence, Italy (CHAIR)
Chris Hankin, Imperial College London, UK
Jean-Marie Jacquet, University of Namur, Belgium
Amy L. Murphy, ITC-IRST, Italy & University of Lugano, Switzerland
Antonio Porto, New University of Lisbon, Portugal
Gian Pietro Picco, University of Trento, Italy
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Carolyn Talcott, SRI International, USA
Jan Vitek, Purdue University, USA
Herbert Wiklicky, Imperial College London, UK

Program Committee :
Gul Agha, Univ. Illinois at Urbana Champaign, USA
Farhad Arbab, CWI, NL
Roberto Bruni, Univ. PISA, IT
William Cook, University of Texas, Austin, USA
Rocco De Nicola, University of Florence, IT
John Field, IBM, USA
Aniruddha Gokhale, Vanderbilt, USA
Mike Hicks, University of Maryland, USA
Kohei Honda, Queen Mary, UK
Jean-Marie Jacquet, University of Namur, BE
Doug Lea, State University of New York at Oswego, USA (CHAIR) Amy L. Murphy, 
ITC-IRST, IT & U. of Lugano, CH
Peter O'Hearn, Queen Mary, UK
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Vijay Saraswat, Penn State/IBM, USA
Carolyn Talcott, SRI International, USA
Wil van der Aalst, Eindhoven/Queensland, NL/AU
Jan Vitek, Purdue University, USA
Franco Zambonelli, Univ. Modena e Reggio Emilia, IT
Gianluigi Zavattaro, University of Bologna, Italy (CHAIR)


SUBMISSION GUIDELINES:

The Coordination 2008 conference solicits high quality papers reporting
research results and/or experience reports related to the topics
mentioned above. All papers must be original, unpublished, and not
submitted for publication elsewhere. Contributions should be submitted
electronically as postscript or PDF, using the SPRINGER LNCS
style. Papers should not exceed 15 pages in length. Each paper will
undergo a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series. Proceedings
will be made available at the conference.

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

--------------------------------------------------------
Herbert Wiklicky                 Department of Computing
Tel +44-20-75948206                     Imperial College
Fax +44-20-75818024                      Huxley Building
herbert at doc.ic.ac.uk                    180 Queen's Gate
http://www.doc.ic.ac.uk/~herbert      London SW7 2AZ, UK
--------------------------------------------------------