[TYPES/announce] COORDINATION'08: deadline extension

Herbert Wiklicky herbert at doc.ic.ac.uk
Fri Jan 11 11:24:35 EST 2008


---------------------------------------------------------------------
                             CALL FOR PAPERS
                        NEW: Deadlines extended !!!

                          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: 15 January 2008 (extended)
            ---->  Paper submission: 22 January 2008 (extended)
                    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.

INVITED SPEAKERS:

The invited lectures will be given in joint sessions among
Coordination'08 and the two confederated conferences Distributed
Applications and Interoperable Systems (DAIS'08) and Formal Methods
for Open Object-based Distributed Systems (FMOODS'08):
- Matt Welsh, Harvard University, USA (invited by Coordination'08)
- Alexander Wolf, Imperial College London, UK (invited by DAIS'08)
- Andrew Myers, Cornell University, USA (invited by FMOODS'08)

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
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. Only electronic submission is admitted
through the conference web site.

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




More information about the Types-announce mailing list