[Prev][Next][Index][Thread]
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.
eM
-------------
COORDINATION 2004
Preliminary Call for Papers
Sixth International Conference on Coordination Models and Languages
24-27 February 2004
Pisa, Italy
http://www.di.unipi.it/Coordination2004
(under construction)
====================================================
IMPORTANT DATES:
Submission of abstract: September 22, 2003
Submission of Papers: September 29, 2003,
Notification of Acceptance: November 14, 2003
Camera-Ready Copy: December 4, 2003
CONFERENCE OBJECTIVES
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.
PREVIOUS EDITIONS
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.
PROCEEDINGS
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.
SUBMISSIONS
Electronic submission will be used using conference web site:
http://www.di.unipi.it/Coordination2004
(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.
LOCATION
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
***************************************************************