COORDINATION 2000 (Second Call for Papers - updated)

Catalin Roman roman at
Tue Mar 14 16:31:08 PST 2000

Please note the updated URL...
                            Second Call for Papers
                              COORDINATION 2000
    Fourth International Conference on Coordination Models and Languages
                              Limassol, Cyprus
                            11-13 September 2000
 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 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
    * Coordination, architectural, and interface definition languages:
      implementation, interoperability, heterogeneity.
    * Agent-oriented languages: formal models for interacting agents.
    * Dynamic software architectures: mobile agents, configuration,
    * 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.
 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
 completeing 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
  António Porto                        Gruia-Catalin Roman
  New University of Lisbon, Portugal   Washington University in St. Louis,
  ap at                     USA    roman at
                              Organizing Chair
 George A. Papadopoulos
 University of Cyprus
 george at
                              Program Committee
                            (excluding co-chairs)
   Gul Agha
   U. Illinois,           Jean-Marie Jacquet      George Papadopoulos
   Urbana-Champaign, USA  U. Namur, Belgium       U. Cyprus, Cyprus
   agha at      jmj at     george at
   Farhad Arbab           Edwin de Jong           Rick Schlichting
   CWI, The Netherlands   Signaal, The            U. Arizona, USA
   Farhad.Arbab at    Netherlands             rick at
                          edejong at
                                                  Katia Sycara
   Lubomir Bic            Joost Kok               Carnegie Mellon U., USA
   U. California,         U. Leiden, The          Katia.Sycara at
   Irvine, USA            Netherlands
   bic at        joost at  John Thomas
                                                  Cruzio, USA
   GianLuigi Ferrari      Jose Meseguer           jthomas at
   U. Pisa, Italy         SRI, USA
   giangi at     meseguer at    Robert Tolksdorf
                                                  T.U. Berlin, Germany
   José Luiz Fiadeiro     Naftaly Minsky          tolk at
   U. Lisbon, Portugal    Rutgers U., USA
   llf at        minsky at   Alan Wood
                                                  U. York, UK
   Roberto Gorrieri       Antonio Natali          wood at
   U. Bologna, Italy      U. Bologna, Italy
   gorrieri at   anatali at   Daniel Yankelevich
                                                  Pragma Consultores,
   Paola Inverardi        Rocco De Nicola         Argentina
   U. l'Aquila, Italy     U. Firenze, Italy       dyankele at
   inverard at     denicola at
 This conference is officially sponsored by the Esprit Working Group 24512

The compgeom mailing lists: see
or send mail to compgeom-request at with the line:
send readme
Now archived at

More information about the Compgeom-announce mailing list