COORDINATION 2004 - First Call for papers

Dear all,

What follows is the CfP of a conference centered around coordination
and software architectures.  At some extent topics of the conference
contains some item that might interest your community. Indeed, types
have been used for specifing connectors (i.e. software components that
act as "glue" among other components) or, recently, as a
characterization of classes of architectures. For instance, Dan Hirsch
has recently shown that architecture styles, i.e. *types* of
architectures, can be used such that reconfigurations preserve styles,
i.e. a *subject reduction* theorem (see Dan's PhD thesis written under
the supervision of Ugo Montanari and Daniel Yankelevich).

Best Regards.



		     Preliminary Call for Papers

 Sixth International Conference on Coordination Models and Languages

			 24-27 February 2004
			     Pisa, Italy

			 (under construction)


  Submission of abstract:     September 22, 2003
  Submission of Papers:       September 29, 2003,
  Notification of Acceptance: November  14, 2003
  Camera-Ready Copy:          December   4, 2003

  The need for increasing programming productivity and rapid development 
  of complex systems provide the pragmatic motivation for the development 
  of coordination/orchestration languages and models. The intellectual 
  excitement associated with such endeavors is rooted in the decades-old 
  desire to leverage off increasingly higher levels of abstractions. 
  Coordination-based methods provide a clean separation between individual 
  software components and their interactions within their overall software 
  organization. Coordination is relevant in design, development, 
  debugging, maintenance, and reuse of all complex concurrent and 
  distributed systems. Specifically, coordination becomes paramount in the 
  context of open systems, systems with mobile entities, and dynamically 
  re-configurable evolving systems. Moreover, coordination models and 
  languages focus on such key issues in Component Based Software 
  Engineering as specification, interaction, and dynamic compositions.

  More recently, market trends brought on by the commercialization of the 
  World Wide Web, have fuelled a new level of interest in 
  coordination-based approaches in industry. Applications like BizTalk, 
  standards like the web services' WS-* family, and contending 
  coordination standards like BEPL4WS and WSCI, are all examples of this 
  phenomenon. This interest is opening up new opportunities both to apply 
  coordination-based techniques to a broad class of applications as well 
  as to grapple with potentially new kinds of requirements coming from 
  internet-scale scenarios.

  The previous conferences in this series took place in Cesena (Italy), 
  Berlin (Germany), Amsterdam (Netherlands), and Limasol (Cyprus), York 
  (England). Building on the success of these events, this conference 
  provides a forum for the growing community of researchers interested in 
  models, languages, and implementation techniques for coordination and 
  component-based software, as well as applications that utilize them.
  At http://music.dsi.unifi.it/coordination/ more details are available.

TOPICS OF INTEREST (include, but are not limited to):
  * Theoretical models and foundations for coordination
  * Coordination middlewares
  * Specification, refinement, and analysis of software architectures
  * Architectural, and interface definition languages
  * Agent-oriented languages and models
  * Dynamic software architectures
  * Component Programming
  * Web Services
  * Coordination in Peer to Peer and Grid Computing
  * Tools and environments for the development of coordinated applications
  * Industrial relevance of coordination and software architectures
  * Domain-specific software coordination models and case studies.

  The conference proceedings will be published by Springer, in the Lecture 
  Notes in Computer Science series. The proceedings of the previous 
  editions are appeared in the LNCS series: volumes 1061, 1282 and 1594, 
  1906, 2315.

  Electronic submission will be used using conference web site:


  (see also http://music.dsi.unifi.it/coordination/).
  Authors are invited to submit electronically a plain ASCII cover page
  containing the paper title, authors' names, contact author and full address
  (including e-mail and fax) together with an abstract of up to 100 words
  (no later than 22 September 2003). Full papers (in English, up to 6000
  words) should be submitted in PostScript or PDF no later than 29 September
  2003. Authors are invited to use the llncs style. A link will be found the
  conference web page. Simultaneous submission to other conferences with
  proceedings or journals is not allowed.

  The conference will be held in Pisa, Dipartimento di Informatica, Via 
  F.Buonarroti 2.

Program co-chairs
  Rocco De Nicola (Univ. Firenze)
  Greg Meredith (Microsoft)

Organizing Chair
  Gianluigi Ferrari (Univ. Pisa)

Program Committee:
  Roberto Amadio, Univ. Marseilles - France
  Farhad Arbab, CWI - The Netherlands
  Marcelo Bonsangue, Leiden University - The Netherlands
  Paolo Ciancarini, Univ. Bologna Italy
  Josť Fiadeiro, Univ. Leicester - United Kingdom
  Chris Hankin, Imperial Colege - United Kingdom
  Jean-Marie Jacquet, Univ. Namur - Belgium
  Antonia Lopes, Univ. of Lisbon - Portugual
  Jeff Magee Imperial College - United Kingdom
  George Papadopoulos, Univ. Cyprus - Cyprus
  Gian Pietro Picco, Politecnico di Milano -Italy
  Rosario Pugliese, Univ. Firenze - Italy
  Gruia-Catalin Roman, Washington University in St. Louis,USA
  Ant Rowstrom, Microsoft Cambridge - United Kingdom
  Vijay Saraswat, PennState Univ. - USA
  Carolin Talcott SRI - USA
  Robert Tolksdorf, Free University of Berlin Germany
  Herbert Wiklicky, Imperial College - United Kingdom
  Alan Wood, Univ. York - United Kingdom
  Franco Zambonelli, Univ. Modena - Italy

Organizing Committee 
  Andrea Bracciali, Univ. Pisa, Italy,
  Robero Bruni, Univ. Pisa, Italy,
  Antonio Cisternino, Univ. Pisa, Italy,
  Dan Hirsch, Univ. Pisa, Italy,
  Laura Semini, Univ. Pisa, Italy,
  Emilio Tuosto, Univ. Pisa, Italy,

Further Information

  - COORDINATION2004 Web site: http://www.di.unipi.it/Coordination2004
  - For questions:  coordination2004@di.unipi.it



	Emilio Tuosto

	Universita' di Pisa
	Dipartimento di informatica
	Via F. Buonarroti 2,
	56127 Pisa -- Italy

	Tel. +39 050 2212 799
	Fax. +39 050 2212 726

	homepage -> http://www.di.unipi.it/~etuosto