Subject: COORDINATION 2000 (First Call for Papers)

From: [email-masked] (Catalin Roman)
Date: Mon, 3 Jan 2000 11:39:33 -0600 (BLT)

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 COORDINATION conferences,
 whose proceedings were published by Springer in the LNCS series, 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
   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.
 
 Submission Instructions
 
 Authors are invited to submit full papers (in English, up to 6000 words)
 electronically.  Details on paper submission will be available on the
 conference web page http://www-gloc.di.fct.unl.pt/coord00/.
 
 The authors' instructions provided by Springer should be followed. They
 can be obtained from http://www.springer.de/comp/lncs/authors.html.
 
 Full papers must be received no later than 14 April 2000.
 
 Simultaneous or similar submissions to other conferences or journals are
 not allowed.
 
 An abstract of no more than 250 words must be received by 7 April 2000.
 Details on abstract submission will be available on the conference web 
 page http://www-gloc.di.fct.unl.pt/coord00/.
 
 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
         New University of Lisbon, Portugal
         [email-masked]
         http://www-gloc.di.fct.unl.pt/~ap
 
    Gruia-Catalin Roman
         Washington University in St. Louis, USA
         [email-masked]
         http://www.cs.wustl.edu/~roman
 
 Organizing Chair:
 
    George A. Papadopoulos
         University of Cyprus
         [email-masked]
         http://www.cs.ucy.ac.cy/papadopo.html
 
 Program Committee (partial list):

         Farhad Arbab
         CWI, The Netherlands
         [email-masked]
 
         GianLuigi Ferrari
         U. Pisa, Italy
         [email-masked]
 
         Jose Luiz Fiadeiro
         U. Lisbon, Portugal
         [email-masked]
 
         Roberto Gorrieri
         U. Bologna, Italy
         [email-masked]
 
         Paola Inverardi
         U. l'Aquila, Italy
         [email-masked]
 
         Jean-Marie Jacquet
         U. Namur, Belgium
         [email-masked]
 
         Edwin de Jong
         Signaal, The Netherlands
         [email-masked]
 
         Joost Kok
         U. Leiden, The Netherlands
         [email-masked]
 
         Jose Meseguer
         SRI, USA
         [email-masked]
 
         Naftaly Minsky
         Rutgers U., USA
         [email-masked]
 
         Antonio Natali
         U. Bologna, Italy
         [email-masked]
 
         Rocco De Nicola
         U. Firenze, Italy
         [email-masked]
 
         George Papadopoulos
         U. Cyprus, Cyprus
         [email-masked]
 
         Rick Schlichting
         U. Arizona, USA
         [email-masked]
 
         Robert Tolksdorf
         T.U. Berlin, Germany
         [email-masked]
 
         Alan Wood
         U. York, UK
         [email-masked]

 Sponsorship:
 
 This conference is officially sponsored by the Esprit Working Group
 24512 "Coordina" (see http://www-gloc.di.fct.unl.pt/activity/coordina/).