CfP: COORDINATION 2000



                                CALL FOR PAPERS

                               COORDINATION 2000

     Fourth International Conference on Coordination Models and Languages

                               Limassol, Cyprus

                             11-13 September 2000

                   http://www-gloc.di.fct.unl.pt/coord00/

  The need for increased programmer productivity and rapid development of
  complex systems provide the pragmatic motivation for the development of
  coordination 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
  interaction within the overall software organization. This separation makes
  large applications more tractable, supports global analysis, and enhances
  reuse of software.

  Building on the success of the last three editions, this conference
  provides a forum for the growing community of researchers interested in
  models, languages, and implementation techniques for coordination.

                                    Topics

  Topics of interest include (but are not limited to):

     * Theoretical models and foundations for coordination: component
       composition, concurrency, mobility, dynamic aspects of coordination.
     * Specification, refinement, and analysis of software architectures:
       patterns and styles, verification of functional and non-functional
       properties.
     * Coordination, architectural, and interface definition languages:
       implementation, interoperability, heterogeneity.
     * Agent-oriented languages: formal models for interacting agents.
     * Dynamic software architectures: mobile agents, configuration,
       reconfiguration.
     * Tools and environments for the development of coordinated
       applications: integration within the development process.
     * Industrial relevance of coordination and software architectures:
       programming in the large, domain-specific software architectures and
       coordination models, case studies.

                                  Proceedings

  The conference proceedings will be published by Springer, in the LNCS
  (Lecture Notes in Computer Science) series.

  Proceedings of the previous editions of this conference are also available
  in the LNCS series: volumes 1061, 1282 and 1594.

                            Submission Instructions

  Authors are invited to submit full papers (in English, up to 6000 words)
  electronically in PostScript or PDF using a two phase online submission
  process. First, registration of the paper and an abstract of no more than
  250 words must be complete before 7 April 2000. After successfully
  completing this, you will receive a url through which to submit your
  paper, due no later than 14 April 2000.

  The authors' instructions provided by Springer should be followed.  A link
  can be found from the conference web page.

  Simultaneous or similar submissions to other conferences or journals are
  not allowed.

  Submissions should explicitly state their contribution and their relevance
  to the theme of the conference. Other criteria for selection will be
  originality, significance, correctness, and clarity.

                              Conference Location

  The conference will be held in Limassol, the most popular and lively city
  of Cyprus, which is located on the southern coast of the island. The
  conference venue will be a five-star hotel on the coast.

                                Important Dates

                   Pre-submission abstracts      7 Apr 2000

                   Full paper submissions       14 Apr 2000

                   Notification of acceptance   14 Jun 2000

                   Camera-ready version          7 Jul 2000

                               Program co-chairs

   Antonio Porto                        Gruia-Catalin Roman

   New University of Lisbon, Portugal   Washington University in St. Louis,
   ap@di.fct.unl.pt                     USA
   http://www-gloc.di.fct.unl.pt/~ap    roman@cs.wustl.edu
                                        http://www.cs.wustl.edu/~roman

                               Organizing Chair

  George A. Papadopoulos

  University of Cyprus
  george@cs.ucy.ac.cy
  http://www.cs.ucy.ac.cy/papadopo.html

                               Program Committee

                             (excluding co-chairs)

    Gul Agha
    U. Illinois,           Jean-Marie Jacquet      George Papadopoulos
    Urbana-Champaign, USA  U. Namur, Belgium       U. Cyprus, Cyprus
    agha@cs.uiuc.edu      jmj@info.fundp.ac.be     george@cs.ucy.ac.cy


    Farhad Arbab           Edwin de Jong           Rick Schlichting
    CWI, The Netherlands   Signaal, The            U. Arizona, USA
    Farhad.Arbab@cwi.nl    Netherlands             rick@cs.arizona.edu
                           edejong@signaal.nl
                                                   Katia Sycara
    Lubomir Bic            Joost Kok               Carnegie Mellon U., USA
    U. California,         U. Leiden, The          Katia.Sycara@cs.cmu.edu
    Irvine, USA            Netherlands
    bic@ics.uci.edu        joost@wi.leidenuniv.nl  John Thomas
                                                   Cruzio, USA
    GianLuigi Ferrari      Jose Meseguer           jthomas@cruzio.com
    U. Pisa, Italy         SRI, USA
    giangi@di.unipi.it     meseguer@csl.sri.com    Robert Tolksdorf
                                                   T.U. Berlin, Germany
    JosQ Luiz Fiadeiro     Naftaly Minsky          tolk@cs.tu-berlin.de
    U. Lisbon, Portugal    Rutgers U., USA
    llf@di.fc.ul.pt        minsky@cs.rutgers.edu   Alan Wood
                                                   U. York, UK
    Roberto Gorrieri       Antonio Natali          wood@cs.york.ac.uk
    U. Bologna, Italy      U. Bologna, Italy
    gorrieri@cs.unibo.it   anatali@deis.unibo.it   Daniel Yankelevich
                                                   Pragma Consultores,
    Paola Inverardi        Rocco De Nicola         Argentina
    U. l'Aquila, Italy     U. Firenze, Italy       dyankele@pragma.com.ar
    inverard@univaq.it     denicola@dsi.unifi.it

                                  Sponsorship

  This conference is officially sponsored by the Esprit Working Group 24512
  Coordina.