Coordination 2006: Third call for papers
Jean-Marie JACQUET
jmj@REDACTED
Fri Dec 23 13:11:48 CET 2005
[ 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 studies.
* Interdisciplinary aspects of coordination
PROCEEDINGS
The conference proceedings will be published by Springer, in the
Lecture Notes in Computer Science (LNCS) series. Proceedings of
previous editions of this conference are also available in the LNCS
series as volumes 1061, 1282, 1594, 1906, 2315, 2949 and 3454.
SUBMISSION INSTRUCTIONS
Authors are invited to submit full papers electronically in PostScript
or PDF using a two-phase online submission process. Registration of
the paper information and abstract (max. 250 words) must be completed
before 10 January 2006. Submission of the full paper is due no later
than 17 January 2006. Further instructions on the submission procedure
are published at http://conferences.cs.unibo.it/Coordination06.
Submissions must be formatted according to the LNCS guidelines (see
http://www.springer.de/comp/lncs/authors.html) and must not exceed 15
pages in length. Papers that are not in the requested format or
significantly exceed the mandated length may be rejected without going
through the review phase.
Submissions should explicitly state their contribution and their
relevance to the theme of the conference. Other criteria for selection
will be originality, significance, correctness, and clarity.
Simultaneous or similar submissions to other conferences or journals
are not allowed.
CONFERENCE LOCATION
The conference will be hosted by the Department of Computer Science
of the University of Bologna.
PROGRAM COMMITTEE
Co-Chairs
Paolo Ciancarini University of Bologna, Italy
Herbert Wiklicky Imperial College London, UK
Members
Farhad Arbab CWI Amsterdam, The Netherlands
Luis Barbosa Universidade do Minho, Portugal
Antonio Brogi University of Pisa, Italy
Wolfgang Emmerich University College London, UK
Frank de Boer CWI & Utrecht University, The Netherlands
Jean-Marie Jacquet University of Namur, Belgium
Joost Kok Leiden University, The Netherlands
Toby Lehman IBM Almaden, US
D.C. Marinescu University of Central Florida, US
Ronaldo Menezes Florida Institute of Technology, US
Andrea Omicini University of Bologna, Italy
Paolo Petta OeFAI, Austria
Gian Pietro Picco Politecnico di Milano, Italy
Ernesto Pimentel University of Malaga, Spain
Rosario Pugliese University of Florence, Italy
Gruia Catalin Roman Washington University, USA
Robert Tolksdorf FU Berlin, Germany
Emilio Tuosto University of Leicester, UK
Carlos Varela Rensselaer Polytechnic Institute, US
Alan Wood University of York, UK
More information about the erlang-questions
mailing list