[TYPES/announce] 2nd Call for Papers: Coordination'08

Herbert Wiklicky herbert at doc.ic.ac.uk
Wed Dec 19 03:11:35 EST 2007


---------------------------------------------------------------------
                          2nd 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/
---------------------------------------------------------------------
Novelties of the 2nd Call for Papers:
- Invited speakers
- Submission open 
---------------------------------------------------------------------

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