Third Int. Conference on Coordination Models and Languages
Amsterdam, The Netherlands - April, 26-28 1999
Sponsored by IPA and KNAW In
Cooperation With ACM SIGSOFT
The last decade
has seen the emergence of a class of models and languages variously termed
"coordination languages", "configuration languages", "architectural description
languages", and "agent-oriented programming languages". These formalisms 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
Building on the success of COORDINATION '96 and '97, whose
proceedings were published as Springer Verlag LNCS 1061 and LNCS 1282, this
conference provides a forum for the growing community of researchers interested
in theoretical 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, 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,
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. Submission instructions: Authors are invited to
send 6 copies of a full paper (in English, up to 6 000 words, preferably
double-sided, adopt the llncs.sty style if you
use LaTeX) at the postal address mentioned below. Full papers must be received
no later than Nov 25 1998. Electronic submissions will not be considered.
Simultaneous submission to other conferences or journals is not allowed.
An abstract of no more than 250 words must be sent by email in ASCII format
Included in the email message must be the names and affiliations of all authors,
and the full address information (address, phone, fax, email) of one contact
author. The email abstract must be received by Nov 18 1998, one week before the
full papers are due.
Selection: Submissions should explicitly state their contribution and
their relevance to the themes of the conference. Other criteria for selection
will be originality, significance, correctness, and clarity.
Conference location: Coordination '99 will be hosted by CWI in Amsterdam, NL. This CfP can
be found at http://www.cs.unibo.it/~coord99/
Proceedings: The Proceedings of Coordination '99 will be published by
Springer in LNCS series.
Address to send submissions:
prof. P. Ciancarini
Dipartimento di Scienze dell'Informazione -
Universita' di Bologna
Mura Anteo Zamboni, 7 - 40127 Bologna - Italy
Deadline for email abstracts: Nov 18 1998
Deadline for paper submissions:
Nov 25 1998
Notification of acceptance: Jan 28 1999
due: Feb 20 1999
Conference: 26-28 April 1999
Program co-chairs:Paolo Ciancarini (Italy) and Alexander Wolf (USA)
Organizing co-chairs:Farhad Arbab (NL) and Joost Kok (NL)
||Maarten Boasson (Signaal/NL) |
|Nick Carriero (Yale U./USA)
||Georges Gonthier (INRIA/F) |
|Roberto Gorrieri (U.Bologna/Italy)
||Chris Hankin (IC/UK)
|Paola Inverardi (U.L'Aquila/Italy)
||Valerie Issarny (IRISA/F)|
|Suresh Jagannathan (NEC/USA)
||Joost Kok (U.Leiden/NL)|
|Jeff Kramer (IC/UK)
||Jose Meseguer (SRI/USA) |
|Claudia Linnhoff-Popien (U.Aachen/D)
||Dewayne Perry (BellLabs, USA)|
|Antonio Porto (N.U.Lisbon/P)
||Gruia-Catalin Roman (Washington U./USA)|
|Richard Taylor (UCI/USA)
||Robert Tolksdorf (TU.Berlin/D)|
|Mike Woolridge (QMC/UK)|