COORDINATION 2000 (Second Call for Papers)
roman at swarm.cs.wustl.edu
Fri Mar 10 15:36:15 PST 2000
Second 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 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.
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
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
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
George A. Papadopoulos
University of Cyprus
george at cs.ucy.ac.cy
U. Illinois, Jean-Marie Jacquet George Papadopoulos
Urbana-Champaign, USA U. Namur, Belgium U. Cyprus, Cyprus
jmj at info.fundp.ac.be
george at cs.ucy.ac.cy
agha at cs.uiuc.edu
Edwin de Jong
Farhad Arbab Signaal, The U. Arizona, USA
CWI, The Netherlands Netherlands rick at cs.arizona.edu
Farhad.Arbab at cwi.nl edejong at signaal.nl
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
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
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
This conference is officially sponsored by the Esprit Working Group 24512
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/maillist.html.
More information about the Compgeom-announce