[Haskell] CoOrg05: Call For Participation. Namur, April 23, 2005
Leon van der Torre
L.W.N.van.der.Torre at cwi.nl
Wed Apr 6 09:30:31 EDT 2005
Call for Participation, Namur, April 23, 2005
1st International Workshop on Coordination and Organisation (CoOrg 2005)
CoOrg 2005 is a one day workshop affiliated with the Seventh International Conference on Coordination Models and Languages (COORDINATION 2005), Namur, Belgium, April 20-23, 2005. (http://www.coordination2005.org)
Preliminary program
08:30 - 09:30: registration
09:30 - 10:30: Andrea Omicini, Agens Faber: Toward a Theory of Artifacts for MAS (invited talk)
10:30 - 11:00: coffee-break
11:00 - 11:30: Alan Colman and Jun Han, On the autonomy of software entities and modes of organisation
11:30 - 12:00: Frank Goethals, Towards a comprehensive classification of dependencies
12:00 - 14:00: lunch
14:00 - 15:00: Mehdi Dastani, Coordination and composition of multi-agent systems (invited talk)
15:00 - 15:30: Estefania Argente, Vicente Julian, and Vicente Botti, From human to agent organizations
15:30 - 16:00: coffee-break
16:00 - 16:30: Cosmin Carabelea and Olivier Boissier, Coordinating agents in organizations using social commitments
16:30 - 17:00: Benjamin Gateau, Djamel Khadraoui, and Eric Dubois, MOISE-Inst: an organizational model for specifying rights and duties of autonomous agents
17:00 - 17:30: L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint, and E.P. de Vink, Paradigm as organization-oriented coordination language
17:30 - 18:00: Alan Colman and Jun Han, Using associations aspects to implement organizational contracts
Workshop goals
Organizations embody a powerful way to coordinate complex behavior in human society. Different models of organisations exist, from bureaucratic systems based on norms to competitive systems based on markets. Moreover, organizational concepts allow to structure the behavior of complex entities in a hierarchy of encapsulated entities: departments structured in roles, organisations structured in departments, and interorganizational coordination structured in organizations. Organizations specify the interaction and communication possibilities of each of these entities, abstracting from the implementation of their behavior. Since these entities are autonomous, they can only be coordinated exogeneously.
Organisational models have been popular in the last years in agent theory for modelling coordination in open systems, where departments and organisations are modelled as autonomous entities. This is also due to the need to ensure social order within MAS applications like Web Services, Grid Computing, and Ubiquitous Computing. In these settings, openness, heterogeneity, and scalability pose new challenges on traditional MAS organizational models. It becomes necessary to integrate organizational and individual perspectives and to promote the dynamic adaptation of models to organizational and environmental changes. Nowadays, practical applications of agents to organizational modeling are being widely developed.
Moreover, organisational concepts are used frequently for coordination purposes in different areas of Computer Science. For example, roles are used in access control, conceptual modelling, programming languages and patterns. Contracts are used in design by contract, and services are used in web services and service level agreements. Message based communication is used in networking. Finally, coordination techniques are used in formal models of organisations to analyse or simulate them. In contrast, most coordination languages refer mostly to different kinds of metaphors, like blackboards, shared dataspaces, component composition and channels.
Although coordination is usually said to be of a multidisciplinary nature, the links between organisations and coordination have never received proper attention at the coordination conferences. CoOrg 2005, as part of COORDINATION2005, will provide an excellent opportunity to meet researchers studying coordination and organisations in cognitive science, social sciences, agent theory, computer science, philosophy, etc., to discuss the current state of the art and identify potential future directions and research issues.
Topics of interest
The topics of this symposium include, but are not restricted to, the following:
* organisational concepts and methods for coordination:
o role based coordination
o contract based coordination
o coordination in normative multiagent systems
o service oriented coordination
* coordination techniques for organisations:
o normative systems
o markets
o authority and power
o trust
* interorganisational coordination
o control of autonomy in coordination
o integration of organizations
* applications of coordination and organisation:
o multiagent social simulation models
o organization based software engineering
o organization oriented programming
o organizational patterns
Invited speakers
Mehdi Dastani, Utrecht University
Andrea Omicini, University of Bologna
Proceedings
The papers accepted for the symposium will be available at the workshop. Moreover, selected work will be published in a volume of ENTCS.
Chairs
Leon van der Torre, CWI Amsterdam, The Netherlands
Guido Boella, Department of Computer Science, Universita' di Torino, Italy
Program committee
* Farhad Arbab - CWI Amsterdam and University Leiden
* Frank de Boer - CWI Amsterdam and University Leiden
* Guido Boella - Dipartimento di Informatica, Universita' di Torino (co-chair)
* Olivier Boissier - Systemes Multi-Agents G2I, ENSM.SE Saint-Etienne
* Cristiano Castelfranchi - Institute of Cognitive Sciences and Technologies (ISTC), Italy
* Kevin Crowston - Syracuse University
* Mehdi Dastani - University of Utrecht
* Joris Hulstijn - Vrije Universiteit Amsterdam
* Andrea Omicini - University of Bologna
* Pierre-Yves Schobbens - Institut d'Informatique University of Namur
* Carles Sierra - IIIA of the Spanish Research Council, Barcelona
* Leon van der Torre - CWI Amsterdam (co-chair)
On the web
SYMPOSIUM WEBSITE:
http://boid.info/CoOrg05
COORDINATION 2005 WEBSITE:
http://www.coordination2005.org/
More information about the Haskell
mailing list