COORDINATION 2000 (First Call for Papers)

[Catalin Roman]

                            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
         ap at di.fct.unl.pt
         http://www-gloc.di.fct.unl.pt/~ap
 
    Gruia-Catalin Roman
         Washington University in St. Louis, USA
         roman at cs.wustl.edu
         http://www.cs.wustl.edu/~roman
 
 Organizing Chair:
 
    George A. Papadopoulos
         University of Cyprus
         george at cs.ucy.ac.cy
         http://www.cs.ucy.ac.cy/papadopo.html
 
 Program Committee (partial list):
 
 
         Farhad Arbab
         CWI, The Netherlands
         Farhad.Arbab at cwi.nl
 
         GianLuigi Ferrari
         U. Pisa, Italy
         giangi at di.unipi.it
 
         Jose Luiz Fiadeiro
         U. Lisbon, Portugal
         llf at di.fc.ul.pt
 
         Roberto Gorrieri
         U. Bologna, Italy
         gorrieri at cs.unibo.it
 
         Paola Inverardi
         U. l'Aquila, Italy
         inverard at univaq.it
 
         Jean-Marie Jacquet
         U. Namur, Belgium
         jmj at info.fundp.ac.be
 
         Edwin de Jong
         Signaal, The Netherlands
         edejong at signaal.nl
 
         Joost Kok
         U. Leiden, The Netherlands
         joost at wi.leidenuniv.nl
 
         Jose Meseguer
         SRI, USA
         meseguer at csl.sri.com
 
         Naftaly Minsky
         Rutgers U., USA
         minsky at cs.rutgers.edu
 
         Antonio Natali
         U. Bologna, Italy
         anatali at deis.unibo.it
 
         Rocco De Nicola
         U. Firenze, Italy
         denicola at dsi.unifi.it
 
         George Papadopoulos
         U. Cyprus, Cyprus
         george at cs.ucy.ac.cy
 
         Rick Schlichting
         U. Arizona, USA
         rick at cs.arizona.edu
 
         Robert Tolksdorf
         T.U. Berlin, Germany
         tolk at cs.tu-berlin.de
 
         Alan Wood
         U. York, UK
         wood at cs.york.ac.uk
 
 
 Sponsorship:
 
 This conference is officially sponsored by the Esprit Working Group
 24512 "Coordina" (see http://www-gloc.di.fct.unl.pt/activity/coordina/).
 
 


-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://uiuc.edu/~sariel/CG/compgeom/threads.html.