From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E907EBBA7 for ; Fri, 23 Dec 2005 13:15:32 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBNCFWV6025582 for ; Fri, 23 Dec 2005 13:15:32 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA18142 for ; Fri, 23 Dec 2005 13:15:31 +0100 (MET) Received: from mx3.fundp.ac.be (mx3.fundp.ac.be [138.48.4.230]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBNCFVlI029320 for ; Fri, 23 Dec 2005 13:15:31 +0100 Received: from backus.info.fundp.ac.be (backus.info.fundp.ac.be [138.48.32.107]) by mx3.fundp.ac.be (8.11.7p1+Sun/8.11.7) with ESMTP id jBNCBiQ17924 for ; Fri, 23 Dec 2005 13:11:48 +0100 (MET) Received: (from jmj@localhost) by backus.info.fundp.ac.be (8.11.7p1+Sun/8.9.1) id jBNCBXO24590 for caml-list@inria.fr; Fri, 23 Dec 2005 13:11:33 +0100 (MET) Date: Fri, 23 Dec 2005 13:11:33 +0100 (MET) From: Jean-Marie JACQUET Message-Id: <200512231211.jBNCBXO24590@backus.info.fundp.ac.be> To: caml-list@inria.fr Subject: Coordination 2006: Third call for papers X-FUNDP-MailScanner-Information: Please contact the ISP for more information X-FUNDP-MailScanner: Found to be clean X-Miltered: at concorde with ID 43ABEA64.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43ABEA63.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; unibo:01 co-located:01 unibo:01 abstractions:01 lncs:01 lncs:01 oefai:01 politecnico:01 2005.:98 2949:98 06.:98 luis:98 rosario:98 emilio:98 abstract:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 [ 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