COORDINATION 2000 (Second Call for Papers - updated)

[Catalin Roman]

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
 
                  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
 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 di.fct.unl.pt                     USA
  http://www-gloc.di.fct.unl.pt/~ap    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
 
                            (excluding co-chairs)
 
   Gul Agha
   U. Illinois,           Jean-Marie Jacquet      George Papadopoulos
   Urbana-Champaign, USA  U. Namur, Belgium       U. Cyprus, Cyprus
   agha at cs.uiuc.edu      jmj at info.fundp.ac.be     george at cs.ucy.ac.cy
 
 
   Farhad Arbab           Edwin de Jong           Rick Schlichting
   CWI, The Netherlands   Signaal, The            U. Arizona, USA
   Farhad.Arbab at cwi.nl    Netherlands             rick at cs.arizona.edu
                          edejong at signaal.nl
                                                  Katia Sycara
   Lubomir Bic            Joost Kok               Carnegie Mellon U., USA
   U. California,         U. Leiden, The          Katia.Sycara at cs.cmu.edu
   Irvine, USA            Netherlands
   bic at ics.uci.edu        joost at wi.leidenuniv.nl  John Thomas
                                                  Cruzio, USA
   GianLuigi Ferrari      Jose Meseguer           jthomas at cruzio.com
   U. Pisa, Italy         SRI, USA
   giangi at di.unipi.it     meseguer at csl.sri.com    Robert Tolksdorf
                                                  T.U. Berlin, Germany
   José Luiz Fiadeiro     Naftaly Minsky          tolk at cs.tu-berlin.de
   U. Lisbon, Portugal    Rutgers U., USA
   llf at di.fc.ul.pt        minsky at cs.rutgers.edu   Alan Wood
                                                  U. York, UK
   Roberto Gorrieri       Antonio Natali          wood at cs.york.ac.uk
   U. Bologna, Italy      U. Bologna, Italy
   gorrieri at cs.unibo.it   anatali at deis.unibo.it   Daniel Yankelevich
                                                  Pragma Consultores,
   Paola Inverardi        Rocco De Nicola         Argentina
   U. l'Aquila, Italy     U. Firenze, Italy       dyankele at pragma.com.ar
   inverard at univaq.it     denicola at dsi.unifi.it
 
                                 Sponsorship
 
 This conference is officially sponsored by the Esprit Working Group 24512
 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/maillist.html.