We apologize if you receive more than one copy of this message.
========================================================================
COORDINATION '99
http://www.cs.unibo.it/~coord99/
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 software. 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,
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.
Conference location: Coordination '99 will be hosted by CWI in Amsterdam, NL.
Proceedings: The Proceedings of Coordination '99 will be published by Springer in LNCS
series.
IMPORTANT DATES
Camera-ready version due: February 23 1999
Early registration deadline: March 1, 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)
Program Committee
Farhad Arbab(CWI/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)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
REGISTRATION: http://www.cwi.nl/conferences/COORDINATION99.html
Registration for COORDINATION'99 should be done by filling out the
registration form below and emailing/faxing/sending it to the conference
secretariat at:
CWI
Attn. Ms Mieke Brune
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Fax: +31.20.592.4199
Email: [EMAIL PROTECTED]
REGISTRATION FEES
Registration fees for COORDINATION'99 are as follows:
Fees in NLG Before March 1 After March 1
Normal fee: 700 800
Student fee: 350 450
Extra banquet: 100 100
Registration fee includes admission to all conference sessions,
refreshments, lunches, banquet and a copy of the conference
proceedings. The student fee excludes the conference banquet.
HOTEL RESERVATIONS
Rooms can be reserved in one of the following hotels by filling out the
appropriate section of the Registration Form. In order to guarantee your
hotel reservation we need it by 1 March at the latest.
Hotel Eden
Amstel 144
1017 AE Amsterdam
Rate single room per night: NLG 190
Hotel Lancaster
Plantage Middenlaan 48
1018 DH Amsterdam
Rate single room per night: NLG 190
Hotel Concert Inn
De Lairessestraat 11
1071 NR Amsterdam
Rate single room per night: NLG 200
REGISTRATION FORM
[Mr/Ms] Name:
Institute:
Department:
Address:
Postal Code + City:
Country:
Telephone:
Fax:
Email:
registers for COORDINATION'99
Applicable Fee:
Extra banquet ticket:
Hotel Reservation: yes/no
single/double room in:
[] Hotel Eden
[] Hotel Lancaster
[] Hotel Concert Inn
Arrival date:
Departure date:
PAYMENTS
Payment of registration fee and extra banquet ticket(s) can be made by:
[] Banktransfer to RABO Bank, Kamerlingh Onneslaan 2/10, 1097 DG
Amsterdam; account #31.35.57.977 of "Stichting Wisknde en Informatica
Conferenties"
[] credit card number:
[] American Express
[] Visa
[] Euro/Master/Accesscard
Name Cardholder:
Address Cardholder:
Expiry date:
Date:
Signature:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
PRELIMINARY PROGRAM
Monday April 26
08.45-09.00 Welcome
09.00-10.00 Session 1 - Keynote (DeNicola)
10.00-10.30 Break
10.30-12.30 Session 2 - Coordination Models and Languages (1)
Secure Object Spaces: A Coordination Model for Agents
C. Bryce, M. Oriol, and J. Vitek
Coordination with Attributes
A.M. Wood
MobiS: A Specification Language for Mobile Systems
C. Mascolo
Coordinated Roles: Promoting Reusability of Coordinated Active
Objects Using Events Notification Protocols
J.M. Murillo, J. Hernandez, F. Sanchez, and L.A. Alvarez
12.30-14.00 Lunch
14.00-15.30 Session 3 - Theory
Pipelining the Molecule Soup: A Plumber's Approach to Gamma
M. Weichert
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language
A. Moran, D. Sands, and M. Carlsson
Coordination of Synchronous Programs
R. Budde, M. Pinna, and A. Poigne
15.30-16.00 Break
16.00-18.00 Session 4 - Coordination Models and Languages (2)
Composing Specifications for Coordination
C. Montangero and L. Semini
On the Expressiveness of Coordination Models
A. Brogi and J.-M. Jacquet
Comparing Software Architectures for Coordination
M.M. Bonsangue, J.N. Kok, and G. Zavattaro
A Hierarchical Model of Coordination of Concurrent Activities
C. Varela and G. Agha
Tuesday April 27
09.00-10.00 Session 5 - Keynote (Lange)
10.00-10.30 Break
10.30-12.30 Session 6 - Coordinable Mobility
A Self-Deploying Election Service for Active Networks
C. Tschudin
Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based
Co-ordination Languages
A. Rowstron
A Simple Extension of Java Language for Controllable Transparent
Migration and its Portable Implementation
T. Sekiguchi, H. Masuhara, and A. Yonezawa
Coordination Among Mobile Objects
L. Petre and K. Sere
12.30-14.00 Lunch
14.00-16.00 Session 7 - Coordination Applications
Simulation of Conference Management Using an Event-Driven
Coordination Language
A. Scutella
A Case Study in Designing a Document-Centric Coordination Application
over the Internet
D. Rossi and F. Vitali
Coordination of a Parallel Proposition Solver
C.T.H. Everaars and B. Lisser
CLAM: Composition Language for Autonomous Megamodules
N. Sample, D. Beringer, L. Melloul, and G. Wiederhold
16.15 Social events
Wednsday April 28
09.00-10.30 Session 8 - Resources and Architecture in Coordination
Modeling Resources for Activity Coordination and Scheduling
R.M. Podorozhny, B.S. Lerner, and L.J. Osterweil
Static Analysis of Real-Time Component-Based System Configurations
C. Attanasio, F. Corradini, and P. Inverardi
A Case Study of Acme-Based Architecture Interchange
D. Garlan and Z. Wang
10.30-11.00 Break
11.00-13.00 Session 9 - Object-Oriented Coordination
A Group Based Approach for Coordination of Active Objects
J.C. Cruz and S. Ducasse
Introducing Connections Into Classes With Static Meta-Programming
U. Assmann, A. Ludwig, and D. Pfeifer
TRUCE: Agent Coordination Through Concurrent Interpretation of
Role-Based Protocols
W. Jamison and D. Lea
The STL++ Coordination Language: a Base for Implementing Distributed
Multi-Agent Applications
M. Schumacher, F. Chantemargue, and B. Hirsbrunner
13.00 Closing Remarks
