Electronic Notes in Theoretical Computer Science 181 (2007) 1–3
www.elsevier.com/locate/entcs
Preface
These are the joint proceedings of the second International Workshop on Coordination and Organization (CoOrg’06) and the second International Workshop on
Methods and Tools for Coordinating Concurrent Distributed and Mobile Systems
(MTCoord 2006) held in Bologna, Italy on 13 june 2006 as satellite events of the
8th International Conference on Coordination Models and Languages (Coordination
2006).
The field of coordination is concerned with various classes of computational
models, languages, and formalisms have emerged in the aim of providing highlevel descriptions of concurrent, distributed, and mobile systems. Typical examples
include so-called coordination languages and models (e.g. Gamma, Linda, Manifold,
Reo, Klaim, Lime, . . . ), concurrent constraint languages (e.g. cc languages, Mozart,
. . . ) and process algebras (e.g. CSP, CCS, pi-calculus, . . . ).
The aim of the CoOrg’06 Workshop is to study the role of coordination in
organisations, for example, the models recently developed in the field of multi-agent
systems. Organisations embody a powerful way to coordinate complex behaviour in
human society. Different models of organisations exist, from bureaucratic systems
based on norms to competitive systems based on markets. Moreover, organisational
concepts allow to structure the behaviour of complex entities in a hierarchy of
encapsulated entities: departments structured in roles, organisations structured in
departments, and societies structured in organisations. Organisations specify the
interaction and communication possibilities of each of these entities, abstracting
from the implementation of their behaviour.
The aim of the MTCoord 2006 workshop is to bring together researchers, working
in different communities (coordination, constraints, process algebras), on methods
and tools for the construction of concurrent, distributed and mobile systems. These
models are based on generative communication via a shared data space or on data
communication through channels. In both cases, software components are typically
conceived in isolation assuming that the required data will eventually be available.
However, making a whole system out of these components and, in particular, ensuring that interactions occur properly is far from being obvious.
1571-0661/$ – see front matter © 2007 Elsevier B.V. All rights reserved.
doi:10.1016/j.entcs.2007.01.049
2
Preface / Electronic Notes in Theoretical Computer Science 181 (2007) 1–3
The organizers of the two workshops would like to thank very much all members
of the programme commitee for their effort, cooperation and for their detailed reports and comments. We also thank the authors of the papers for their contribution
to the meeting.
CoOrg’06 program committee:
•
Farhad Arbab (CWI Amsterdam and University Leiden, The Netherlands)
•
Olivier Boissier (Systemes Multi-Agents G2I, ENSM.SE Saint-Etienne, France)
•
Cristiano Castelfranchi, (Institute of Cognitive Sciences and Technologies, Italy)
•
Kevin Crowston (Syracuse University, USA)
•
Jean-Marie Jacquet (University of Namur, Belgium)
•
Vasant Honavar (Iowa State University, USA)
•
Joris Hulstijn (Vrije Universiteit Amsterdam, The Netherlands)
•
Victor Lesser (University of Massachussets, USA)
•
Sascha Ossowski (University Rey Juan Carlos, Spain)
•
Alessandro Ricci (Università di Bologna, Italy)
•
Luigi Sauro (Università di Torino, Italy)
•
Pierre-Yves Schobbens (Institut d’Informatique University of Namur, Belgium)
•
Carles Sierra (IIIA of the Spanish Research Council, Barcelona, Spain)
•
Mirko Viroli (Università di Bologna, Italy)
•
Franco Zambonelli (Università di Modena e Reggio Emilia, Italy)
•
Gianluigi Zavattaro (Università di Bologna, Italy)
MTCoord 2006 programme committee:
•
Marco Bernardo (Università degli Studi di Urbino ”Carlo Bo”, Urbino, Italy)
•
Lubos Brim (Masaryk University, Czech Republic)
•
Giorgio Delzanno (Università di Genova, Italy)
•
Wan Fokkink (CWI, The Netherlands)
•
Jean-Marie Jacquet (University of Namur, Belgium)
•
Marta Kwiatkowska (University of Birmingham, United Kingdom)
•
Gerald Luettgen (University of York, United Kingdom)
•
Angelika Mader (University of Twente, The Netherlands)
•
Andreas Podelski (Max Plank Institute, Germany)
•
Kaisa Sere (Abo Akademi University, Finland)
•
Peter Van Roy (University of Louvain-la-Neuve, Belgium)
•
Mirko Viroli (Alma Mater Studiorum Università di Bologna a Cesena, Italy).
Preface / Electronic Notes in Theoretical Computer Science 181 (2007) 1–3
3
Guido Boella
Mehdi Dastani
Andrea Omicini
The Chairs of CoOrg’06
Ivana Cerna
Isabelle Linden
The Chairs of MTCoord 2006