First International Conference on Coordination Models and
April 15-17, 1996.
A new class of models, formalisms and mechanisms for describing
concurrent and distributed computations has emerged over the last
few years. Some significant representatives of this new class
are models and languages based on (generative) communication via
a shared data space: Gamma, Linda, Swarm, Linear Objects, Polis
and Tao are examples.
Coordination models and languages are being investigated by the
ESPRIT Basic Research Project, COORDINATION, which is organising
this event. The objective of this conference is to provide a
forum for the rapidly growing community of researchers
interested in this field.
Topics of interest:
Typical, but not exclusive topics of interest are:
Coordination problems within concurrent, distributed, object
oriented, functional and logic programming
Concurrent computation, constraint programming, computation
models based on the chemical reaction metaphor and related
Software environments for the development of coordinated
Semantics and reasoning about coordination
Case studies with industrial relevance (e.g. Workflow,
distributed artificial intelligence, distributed software
Authors are invited to send full papers (in English, up to 15
pages) to the PC chairman, at the address
mentioned on the left. Simultaneous submission to other
conferences or journals is not allowed.
Electronic submission is
encouraged via e-mail, in the form of uuencoded compressed
Each submission should be accompanied by a 100 word summary
and a single postal and e-mail address for communication.
Conference Format and Location:
The conference will be three days long from Monday to Wednesday.
Cesena is a nice town of about 80,000 inhabitants, hosting a
CS programme of the University of Bologna. The town is
close to Rimini (the main Italian
seaside resort, famous for its night-life), Ravenna (the capital
of the western Roman empire) and the S. Marino Republic. Cesena is
about one hour by train from Bologna which is connected by direct
flights to several European cities.
Chris Hankin (London)
Gul Agha (Illinois)
Jean-Marc Andreoli (Xerox Research, Grenoble)
Marc Bourgois (ECRC, Munich)
Luca Cardelli (DEC SRC)
Paolo Ciancarini (Bologna)
Laurent Dami (Geneva)
David Garlan (Carnegie Mellon)
David Gelernter (Yale)
Jose Meseguer (Stanford)
Daniel Le Metayer (Inria/Irisa, Rennes)
Oscar Nierstrasz (Berne)
Antonio Porto (Lisbon)
David Sands (Copenhagen)
Akinori Yonezawa (Tokyo)
Local organizers (Bologna):
Roberto Gorrieri (chair), Marco Roccetti,
Mauro Gaspari, Paola Salomoni, Vittorio Maniezzo,
Riccardo Focardi, Nadia Busi, Marco Bernardo.
Deadline for submissions: October 30, 1995
Notification of acceptance: December 15, 1995
Camera-ready version due: January 15, 1996
Springer will publish the proceedings in the LNCS series.
Department of Computing
180 Queen's Gate
LONDON SW7 2BZ, UK
Phone: +44 171 594 8266
Fax: +44 171 581 8024