COORDINATION 2000 (First Call for Papers)
roman at swarm.cs.wustl.edu
Mon Jan 3 11:39:32 PST 2000
Call for Papers
Fourth International Conference on Coordination Models and Languages
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 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
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.
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
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
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.
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.
Pre-submission abstracts: 7 Apr 2000
Full paper submissions: 14 Apr 2000
Notification of acceptance: 14 Jun 2000
Camera-ready version: 7 Jul 2000
New University of Lisbon, Portugal
ap at di.fct.unl.pt
Washington University in St. Louis, USA
roman at cs.wustl.edu
George A. Papadopoulos
University of Cyprus
george at cs.ucy.ac.cy
Program Committee (partial list):
CWI, The Netherlands
Farhad.Arbab at cwi.nl
U. Pisa, Italy
giangi at di.unipi.it
Jose Luiz Fiadeiro
U. Lisbon, Portugal
llf at di.fc.ul.pt
U. Bologna, Italy
gorrieri at cs.unibo.it
U. l'Aquila, Italy
inverard at univaq.it
U. Namur, Belgium
jmj at info.fundp.ac.be
Edwin de Jong
Signaal, The Netherlands
edejong at signaal.nl
U. Leiden, The Netherlands
joost at wi.leidenuniv.nl
meseguer at csl.sri.com
Rutgers U., USA
minsky at cs.rutgers.edu
U. Bologna, Italy
anatali at deis.unibo.it
Rocco De Nicola
U. Firenze, Italy
denicola at dsi.unifi.it
U. Cyprus, Cyprus
george at cs.ucy.ac.cy
U. Arizona, USA
rick at cs.arizona.edu
T.U. Berlin, Germany
tolk at cs.tu-berlin.de
U. York, UK
wood at cs.york.ac.uk
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
or send mail to compgeom-request at research.bell-labs.com with the line:
Now archived at http://uiuc.edu/~sariel/CG/compgeom/threads.html.
More information about the Compgeom-announce