🚀 go-pugleaf

    +============================================================+
    |              First Call for participation for              |
    |                                                            |
    |                      COORDINATION'97                       |
    | Second International Conference on Coordination Models and |
    |                         Languages                          |
    |                                                            |
    |                      Berlin, Germany                       |
    |                    September 1-3, 1997                     |
    |                                                            |
    |            http://www.cs.tu-berlin.de/~coord97/            |
    +============================================================+


The last decade has seen the emergence of a class of languages and
models variously termed "coordination languages", "configuration
languages", and "architectural description languages". These
formalisms provide a clean separation between individual software
components and their interaction in the overall software
organisation. This separation makes large applications more tractable,
supports global analysis, and enhances reuse of software.

Building on the success of COORDINATION'96 in Cesena, COORDINATION'97
will provide a forum for this rapidly growing community working in
areas ranging from theoretical models and foundations, to languages
and implementation techniques.


Preliminary Conference Program
------------------------------

                             Sunday, August 31

 19:00  Reception and registration

                            Monday, September 1

  8:00  Registration
  8:45  Welcome
  9:00  Invited talk
        Exposing the skeleton in the coordination closet
        J. Kramer (Imperial College, London)
 10:00  Break

 10:30  Session 1

        Checking assumptions in component dynamics at the architectural
        level
        P. Inverardi (Universit� di L'Aquila), A. L. Wolf (University of
        Colorado, Boulder), D. Yankelevitch (Universidad de Buenos Aires)

        Security benefits from software architectures
        C. Bidan, V. Issarny (Irisa, Rennes)

        A framework for supporting heterogeneous coordination policies
        N. H. Minsky, V. Ungureanu (Rutgers University)

        Debugging distributed applications using a coordination
        architecture
        P. A. Olivier (University of Amsterdam)

 12:30  Lunch

 14:00  Tutorial talk

        Software architectures and their relevance for software
        engineering
        D. Perry (Bell Laboratories)

 15:00  Session 2

        Coordinating durative actions
        I Nunes, J. L. Fiadeiro (University of Lisbon), W. M. Turski
        (Warsaw University)

        Communication-passing style for coordination languages
        S. Jagannathan (NEC Research Institute)

 16:00  Break and Poster Session

 17:00  Session 3 - Case Study session -

        An industrial case study: a railway control system
        E. de Jong (Signaal)

        Evaluation of software architectures for a control system: a case
        study
        S. Stuurman, J. van Katwijk (Delft University of Technology)

        Modeling railway control systems using graph grammars: a case
        study
        A. A. Holzbacher, M. P�rin, M. S�dholt (Irisa, Rennes)

 18:30  End of first conference day

                           Tuesday, September 2

  9:00  Invited talk

        From weaving threads to untangling the web: a view of coordination
        from Linda's perspective
        N. Carriero (Yale University)

 10:00  Break

 10:30  Session 4

        On what Linda is: formal description of Linda as a reactive system
        D. Gelernter, L. Zuck (Yale University)

        Three semantics of the output operation for asynchronous
        communication
        N. Busi (Universit� di Siena), R. Gorrieri, G. Zavattaro
        (Universit� di Bologna)

        Coordinating mobile agents via blackboards and access rights
        R. de Nicola (Universit� di Firenze), G. L. Ferrari (Universit� di
        Pisa), R. Pugliese (Universit� di Firenze)

        Modeling coordination via asynchronous communication
        A. Brogi (Universit� di Pisa), J.-M. Jacquet (Facult�s
        Universitaires de Namur)

 12:30  Lunch

 14:00  Tutorial talk

        On coordination and its relevance for software engineering
        P. Ciancarini (Universit� di Bologna)

 15:00  Session 5

        Partial order and SOS semantics for linear constraint programs
        E. Best (Carl-von-Ossietzky-Universit�t Oldenburg), F. S. de Boer
        (Universiteit Utrecht), C. Palamidessi (Universit� di Genova)

        Programmable coordination media
        E. Denti, A. Natali, A. Ominici (Universit� di Bologna)

        Safer tuple spaces
        R. van der Groot (Erasmus University of Rotterdam), J. Schaeffer
        (University of Alberta), G. V. Wilson (Visible Decisions)

 16:30  End of the second day of the conference program

 Evening Social event and Banquet

                           Wednesday, September 3

  9:00  Invited talk

        Design for open systems in Java
        D. Lea (SUNY Oswego)

 10:00  Break

 10:30  Session 6

        Coordinating action systems
        E. Hedman (Abo Academi University), J. N. Kok (Leiden University),
        K. Sere (Abo Academi University)

        Approximating Unity
        J. Dingel (Carnegie Mellon University)

        Mobile Unity coordination constructs applied to packet forwarding
        for mobile hosts
        P. J. McCann, G.-C. Roman (Washington University, Saint Louis)

        From layer to layer: object-oriented protocol refinement in Kannel
        K. Gran�, J. Paaki (University of Helsinki)

 12:30  Lunch

 14:00  Tutorial talk

        Design patterns and their relevance for coordination
        O. Nierstrasz (Universitaet Bern)

 15:00  Session 7

        An asynchronous model of locality, failure and process mobility
        R. Amadio (LIM Marseille)

        A component calculus for modeling the Olan configuration language
        J.-Y. Vion-Dury (Rank Xerox, Grenoble), L. Bellissard, V.
        Marangozov (Inria Rhones-Alpes)

 16:00  Closing remarks
        End of conference


Registration
------------

Please complete the attached registration form and fax or physically
mail it with the preferred payment to the conference office at the
address given. The registration fees are the following:

 Type                       received by    received after
                          July 31st, 1997 August 1st, 1997
 Industry Registration*       DM 1.000,00      DM 1.100,00
 Academic Registration*         DM 550,00        DM 600,00
 Student Registration**         DM 300,00        DM 350,00
 Additional Banquet Ticket      DM 100,00        DM 100,00

* Includes proceedings, reception, lunches, coffee breaks, social event
and conference banquet.

** Includes everything except proceedings, banquet and social event. A
few additional copies of the proceedings will be available and can be
purchased on the spot. The student rate applies to full time students
only. Students must enclose a copy of their 1997 student card with the
registration form.

The conference fees may be paid by credit card (Visa, Master
Card/Eurocard, or American Express), banktransfer, or eurocheque drawn
in German Marks.

Banktransfer to:
TU Berlin "COORDINATION'97"
Account no.: 327 823 0006
Grundkreditbank e.G., Berlin, BLZ 101 901 00

All payments must be in German Marks. Once the registration form and
remittance have been received, the conference office will send a
receipt and confirmation letter to the participants' address.


Refund Policy
-------------

No refunds will be made unless a written request for cancellation
received prior to 15th August, 1997. All refunds are subject to a 10%
processing fee. Substitutions will be accepted at any time.


Registration Form
-----------------

If you are paying by credit card or bank transfer you may return the
registration form by fax (see above). If you are paying by Eurocheque,
you have to return your registration form together with cheque by
physical mail to the address given.

Name: .............................................................

Affiliation: ......................................................

Address: ..........................................................
...................................................................

Country: ..........................................................

Phone: ......................
Fax: ........................

Email: ............................................................

Do you have any special dietary requirements?
...................................................................


Number Description                Price       Total amount
       Industry registration      DM 1.000,00
       Late industry registration DM 1.100,00
       Academic registration        DM 550,00
       Late academic registration   DM 600,00
       Student registration         DM 300,00
       Late student registration    DM 350,00
       Extra banquet tickets        DM 100,00
                                              ------------
                                Total payment


O Check enclosed

O Payment by bank transfer

O Payment by credit card

O Euro/Mastercard O VISA

Name of card holder: ..............................................

Card number: ......................................................

Expiration date: ..................................................

Signature: ................................................


Accommodation
-------------

Berlin offers a variety of hotels. At
http://www.cs.tu-berlin.de/~coord97/register.html you find a list of
hotels that have rooms available, although it is advisable to book
sooner rather than later. You can book yourself, remembering to quote
the booking reference "COORDINATION'97" to get the reduced rate for
attendees. Or, if you wish to have us make the reservation on your
behalf, please let us know and we'll be happy to arrange this.

For further information please contact the conference office at

TU Berlin
COORDINATION'97
FR 6-10
Franklinstra�e 28-29
D-10587 Berlin

Phone: ++49-30-31425184 / 31473540
Fax: ++49-30-31473622
email: coord97@cs.tu-berlin.de


Committees
----------

  Program co-chairs:                      Program Committee:
  David Garlan (CMU/USA)                  Jaco de Bakker (CWI/NL)
  Daniel Le M�tayer (INRIA/FR)            Maarten Boasson (Signaal/NL)
                                          Luca Cardelli (Digital/USA)
  Case Study Chair:                         Paolo Ciancarini (Bologna/IT)
  Edwin de Jong (Signaalapparaten/NL)     Susan Graham (Berkeley/USA)
                                          Chris Hankin (London/UK)
  Organization Committee:                 Philippe Kruchten (Rational
  Chairmen:                               Soft./CN)
  Bernd Mahr                              Ugo Montanari (Pisa/IT)
  Robert Tolksdorf                        Mark Moriconi (SRI/USA)
                                          Oscar Nierstrasz (Berne/CH)
  Christel Hecht                          Dewayne Perry (Bell Labs/USA)
  Andreas Knoche                          Antonio Porto (Lisbon/P)
  Diana Maas                              James Purtilo (Maryland/USA)
                                          David Schmidt (KSU/USA)
                                          Peter Wegner (Brown/USA)
                                          Alexander L. Wolf
                                          (Colorado/USA)

----------------------------------------------------------------------
		   COORDINATION'97 is hosted by the
	 Projectgroup KIT, Technische Universit�t Berlin and
			   IFV I+K, Berlin.
----------------------------------------------------------------------
-- 
Dr.-Ing. Robert Tolksdorf        | Technical University Berlin       _______ _
mailto:tolk@cs.tu-berlin.de      | FB 13 - FLP/KIT - FR 6-10        (_   _  | |
http://www.cs.tu-berlin.de/~tolk | Franklinstr. 28/29                 | | | | |
tel: +49-30-314-25184 (FR6071)   | D-10587 Berlin / Germany           `-' `---'