[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


          **Extended submission deadline: 13 February 2009**

                           CALL FOR PAPERS

                          Coordination 2009

               Languages, Models, and Architectures for
                 Concurrent and Distributed Software

                    11th International Conference

                Member of the Federated Conferences on
                   Distributed Computing Techniques
                  Lisbon, Portugal 9 - 12 June 2009

-------------------------------------------------------------------------
              http://discotec09.di.fc.ul.pt/coordination
-------------------------------------------------------------------------
                 Abstract submission:    10 February 2009 (new)
                 Paper submission:       13 February 2009 (new)
                 Author rebuttal period: 10-11 March 2009
                 Author notification:    20 March 2009
                 Camera-ready copy:      1 April 2009
                 Conference:             9-11 June 2009
-------------------------------------------------------------------------

                                Scope

Modern software lives in a concurrent world.  The ubiquity of the
Internet allows distributed software components to be composed into
complex networked systems.  At the other end of the spectrum,
multicore processors are now the norm.  Hence applications are bound
to be inherently concurrent and communication centered.

Coordination 2009 seeks high-quality papers on programming languages,
models, and architectures that address the challenge of building
robust distributed and concurrent applications.  The conference
focuses on the design and implementation of models that allow
compositional construction of large-scale concurrent and distributed
systems, including both practical and foundational models, runtime
systems, and related verification and analysis techniques.

Past incarnations of Coordination have emphasized foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organizers of Coordination 2009 are keen to
provide a strong forum for high-quality papers that address practical
aspects of concurrent programming models; e.g.: application of
concurrency to novel domains, comparisons of alternative programming
models on important problems, or domain-specific languages.

                          Topics of Interest

DISTRIBUTED AND CONCURRENT PROGRAMMING MODELS: multicore programming,
      stream programming, data parallel programming, event-driven
      programming, web programming

FOUNDATIONS OF DISTRIBUTED AND CONCURRENT INTERACTION:
      models for processes, service composition and orchestration, workflow
      management, data query, tuple spaces

SPECIFICATION, VERIFICATION, AND TYPES: modeling and analysis of types
      and properties related to security, dependability, resource
      consumption, and component conformance for concurrent and
      distributed systems

HIGH-LEVEL OPTIMIZATIONS: program transformations for performance
      enhancement, runtime load balancing techniques, static and
      dynamic resource management

QUALITY OF SERVICE: fault-tolerant programming models and runtime support,
     models with responsiveness guarantees

DISTRIBUTED SOFTWARE MANAGEMENT: component and module systems for
      distributed software, dynamic software evolution and update
      technologies, configuration and deployment architectures

SYSTEM SUPPORT FOR PROGRAMMING MODELS: P2P frameworks, mobile ad-hoc
      networks, sensor networks, publish-subscribe systems, event
      processing

CASE STUDIES: application of novel distributed and concurrent
      techniques in business process modeling, e-commerce, factory
      automation, collaboration, command and control

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

                           Invited Speaker

              Manuel Serrano, INRIA Sophia-Antipolis, FR
     "Semantics and Implementation of the HOP Programming Language"

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

                        Submission Guidelines

The Coordination 2009 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.

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 Coordination '09 papers will be invited to a special issue of
the journal Science of Computer Programming.

Contributions should be submitted electronically in PDF form at
https://www.easychair.org/login.cgi?conf=coordination09, using the
Springer LNCS style
(http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).  Papers
are strictly limited to 20 pages in length, _including_ figures and
appendices, using the standard LNCS 10pt body font.  Submissions that
deviate substantially from these guidelines are subject to being
rejected without review.

Authors intending to submit a paper must enter an abstract into the
paper submission system by 10 February 2009.  The (strict) paper
submission deadline is 13 February 2009.

Authors will be given the opportunity to respond succinctly to factual
errors in conference reviews during a rebuttal period from 2-4 March.
The committee will take rebuttals into consideration during its
decision process, but will not necessarily revise its final reviews in
response.

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

                     Coordination '09 Organization

PC and Conference Chairs:
John Field, IBM Research, USA
Vasco T. Vasconcelos, University of Lisbon, PT

Publicity Chair:
Herbert Wiklicky, Imperial College London, UK

Program Committee:
G?rard Boudol, INRIA, FR
Dave Clarke, Katholieke Universiteit Leuven, BE
William R. Cook, University of Texas, USA
John Field, IBM Research, USA
David Gay, Intel Research, USA
Rachid Guerraoui, EPFL, CH
Thomas Hildebrandt, IT University, DK
Kohei Honda, Queen Mary, University of London, UK
Radha Jagadeesan, DePaul University, USA
Shriram Krishnamurthi, Brown University, USA
Doug Lea, State University of New York, USA
Frank Leymann, University of Stuttgart, DE
Amy L. Murphy, ITC-IRST, IT & University of Lugano, CH
Uwe Nestmann, Technical University of Berlin, DE
Rocco De Nicola, University of Florence, IT
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Vasco T. Vasconcelos, University of Lisbon, PT
Jan Vitek, Purdue University, USA
Franco Zambonelli, University of Modena and Reggio Emilia, IT

Steering Committee:
Farhad Arbab, CWI, NL
Chris Hankin, Imperial College London, UK
Jean-Marie Jacquet, University of Namur, BE
Doug Lea, State University of New York, USA
Amy L. Murphy, ITC-IRST, IT & University of Lugano, CH
Rocco De Nicola, University of Florence, IT (Chair)
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
Gianluigi Zavattaro, University of Bologna, IT

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

                       Federated Conferences on
            Distributed Computing Techniques Organization

Antonio Ravara, Technical University of Lisbon, PT (General Chair)
Carla Ferreira, New University of Lisbon, PT
Ana Almeida Matos, Technical University of Lisbon, PT

Workshops Chair
Francisco Martins, University of Lisbon, PT

Publicity Chair
Martin Steffen, University of Oslo, NO

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

Reply via email to