Coordination 2006: Third call for papers

Coordination 2006: Third call for papers

Post by Jean-Marie » Sat, 24 Dec 2005 21:12:40


Our apologies for multiple copies. ]


======================================================================

Third Call for Papers

COORDINATION 2006
8th International Conference on Coordination Models and Languages
http://www.cs.unibo.it/discotec06/Coordination06

as part of
DisCoTec'06 - Distributed Computing Techniques
co-located with DAIS'06 & FMOODS'06
http://www.cs.unibo.it/discotec06

Bologna, Italy
14-16 June 2006

======================================================================

IMPORTANT DATES

* Submission of abstract: 10 January 2006
* Submission of papers: 17 January 2006
* Notification of acceptance: 7 March 2006
* Final version: 28 March 2006
* Conference: 14-16 June 2006

======================================================================


CONFERENCE GOALS

Modern information systems rely increasingly on combining concurrent,
distributed, mobile, reconfigurable and heterogenous components. New
models, architectures, languages, verification techniques are
necessary to cope with the complexity induced by the demands of
today's software development. Coordination languages have emerged as a
successful approach, in that they provide abstractions that cleanly
separate behavior from communication, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.

Building on the success of the previous editions, this conference
provides a well-established forum for the growing community of
researchers interested in models, languages, architectures, and
implementation techniques for coordination.


PREVIOUS EDITIONS

The previous editions of COORDINATION took place in Cesena (Italy),
Berlin (Germany), Amsterdam (Netherlands), Limassol (Cyprus), York
(UK), Pisa (Italy) and Namur (Belgium). More details are available at
http://www.coordination2005.org.


TOPICS OF INTEREST

They include but are not limited to:

* Theoretical models and foundations for coordination: component
composition, concurrency, mobility, dynamic aspects of coordination,
emergent behavior.
* 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.
* Multiagent systems and coordination: models, languages,
infrastructures.
* Dynamic software architectures: mobile code and agents,
configuration, reconfiguration, self-organization.
* Coordination and modern distributed computing: Web services,
peer-to-peer networks, grid computing, context-awareness, ubiquitous
computing.
* Programming languages, middleware, tools, and environments for the
development of coordinated applications
* Industrial relevance of coordination and software architectures:
programming in the large, domain-specific software architectures and
coordination models, case