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

[Martin Steffen]

			   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:  28 January 2009
                  Paper submission:     1 February 2009
                  Author notification:  16 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, with
multicore processors 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

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

			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. Contributions should be
submitted electronically as postscript or PDF, using the Springer LNCS
style. Papers are strictly limited to 15 pages in length, _including_
figures and appendices. 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 journal
Science of Computer Programming.

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

		     Coordination '09 Organization

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

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 (Co-chair)
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 (Co-chair)
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