Related articles |
---|
COORDINATION 2000 (Second Call for Papers) coord00@cs.wustl.edu (COORDINATION 2000) (2000-04-01) |
From: | COORDINATION 2000 <coord00@cs.wustl.edu> |
Newsgroups: | comp.groupware,comp.compilers |
Date: | 1 Apr 2000 14:16:09 -0500 |
Organization: | Washington University in St. Louis |
Keywords: | conference, CFP |
Second Call for Papers
COORDINATION 2000
http://www-gloc.di.fct.unl.pt/coord00/
Fourth International Conference on Coordination Models and Languages
Limassol, Cyprus
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
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@di.fct.unl.pt USA
http://www-gloc.di.fct.unl.pt/~ap roman@cs.wustl.edu
http://www.cs.wustl.edu/~roman
Organizing Chair
George A. Papadopoulos
University of Cyprus
george@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@cs.uiuc.edu jmj@info.fundp.ac.be george@cs.ucy.ac.cy
Farhad Arbab Edwin de Jong Rick Schlichting
CWI, The Netherlands Signaal, The U. Arizona, USA
Farhad.Arbab@cwi.nl Netherlands rick@cs.arizona.edu
edejong@signaal.nl
Katia Sycara
Lubomir Bic Joost Kok Carnegie Mellon U., USA
U. California, U. Leiden, The Katia.Sycara@cs.cmu.edu
Irvine, USA Netherlands
bic@ics.uci.edu joost@wi.leidenuniv.nl John Thomas
Cruzio, USA
GianLuigi Ferrari Jose Meseguer jthomas@cruzio.com
U. Pisa, Italy SRI, USA
giangi@di.unipi.it meseguer@csl.sri.com Robert Tolksdorf
T.U. Berlin, Germany
José Luiz Fiadeiro Naftaly Minsky tolk@cs.tu-berlin.de
U. Lisbon, Portugal Rutgers U., USA
llf@di.fc.ul.pt minsky@cs.rutgers.edu Alan Wood
U. York, UK
Roberto Gorrieri Antonio Natali wood@cs.york.ac.uk
U. Bologna, Italy U. Bologna, Italy
gorrieri@cs.unibo.it anatali@deis.unibo.it Daniel Yankelevich
Pragma Consultores,
Paola Inverardi Rocco De Nicola Argentina
U. l'Aquila, Italy U. Firenze, Italy dyankele@pragma.com.ar
inverard@univaq.it denicola@dsi.unifi.it
Sponsorship
This conference is officially sponsored by the Esprit Working Group
24512 Coordina.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.