From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4303CBC2F for ; Wed, 1 Dec 2004 21:22:11 +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 iB1KMASh001678 for ; Wed, 1 Dec 2004 21:22:10 +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 VAA09967 for ; Wed, 1 Dec 2004 21:22:10 +0100 (MET) Received: from mx4.fundp.ac.be (mx4.fundp.ac.be [138.48.4.231]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iB1KMATW022804 for ; Wed, 1 Dec 2004 21:22:10 +0100 Received: from backus.info.fundp.ac.be (backus.info.fundp.ac.be [138.48.32.107]) by mx4.fundp.ac.be (8.11.7p1+Sun/8.11.7) with ESMTP id iB1KK0i03393 for ; Wed, 1 Dec 2004 21:20:01 +0100 (MET) Received: (from jmj@localhost) by backus.info.fundp.ac.be (8.11.7p1+Sun/8.9.1) id iB1KGei13466 for caml-list@inria.fr; Wed, 1 Dec 2004 21:16:40 +0100 (MET) Date: Wed, 1 Dec 2004 21:16:40 +0100 (MET) From: Jean-Marie JACQUET Message-Id: <200412012016.iB1KGei13466@backus.info.fundp.ac.be> To: caml-list@inria.fr Subject: Coordination 2005: Last 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 41AE27F2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41AE27F2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; abstractions:01 middleware:01 lncs:01 lncs:01 intersection:01 politecnico:01 cardelli:01 2004.:98 2004.:98 citadel:98 murphy:98 abstract:01 abstract:01 michel:01 alan:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: [ Our apologies for multiple copies. ] ====================================================================== Last Call for Papers COORDINATION 2005 7th International Conference on Coordination Models and Languages Namur, Belgium, 20-23 April 2005 http://www.coordination2005.org ====================================================================== IMPORTANT NEWS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag * Publication of selected work in Science in Computer Programming ====================================================================== IMPORTANT DATES * Submission of abstract: December 15, 2004 * Submission of papers: December 21, 2004 * Notification of acceptance: February 1, 2005 * Final version: February 15, 2005 * Conference: April 20-23, 2005 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), and Pisa (Italy). More details are available at http://music.dsi.unifi.it/coordination. 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 the previous editions of this conference are also available in the LNCS series: volumes 1061, 1282, 1594, 1906, 2315, and 2949. A selection of the best papers will published in a special issue of the journal Science of Computer Programming. 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 December 15, 2004. Submission of the full paper is due no later than December 21, 2004. Submissions are handled through a conference management system, accessible from the conference web site: http://www.coordination2005.org. 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 Institute of Informatics at the University of Namur, Belgium. Capital of the Walloon Region, Namur is a beautiful city of 80.000 inhabitants. Its position at the confluent of two rivers gave it military and economic appeal, exploited by the Roman Empire and by many others since then. Much evidence of Namur's past can be visited nowadays, including the citadel, one of the greatest in Europe. Close to Brussels (60 km) and at the intersection of European railways and highways, Namur can be easily reached by road, train, and plane. PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet University of Namur, Belgium jmj@info.fundp.ac.be www.info.fundp.ac.be/~jmj/ Gian Pietro Picco Politecnico di Milano, Italy picco@elet.polimi.it www.elet.polimi.it/upload/picco Members Farhad Arbab CWI, The Netherlands Luca Cardelli Microsoft Research, United Kingdom Gianluigi Ferrari University of Pisa, Italy Paola Inverardi University of l'Aquila, Italy Toby Lehman IBM Almaden Research Center, USA Ronaldo Menezes Florida Institute of Technology, USA Amy Murphy University of Lugano, Switzerland Andrea Omicini University of Bologna, Italy George Papadopoulos University of Cyprus, Cyprus Ernesto Pimentel University of Malaga, Spain Rosario Pugliese University of Firenze, Italy Antonio Porto New University of Lisbon, Portugal Carolyn Talcott SRI International, USA Sebastian Uchitel Imperial College, United Kingdom Jan Vitek Purdue University, USA Michel Wermelinger New University of Lisbon, Portugal The Open University, UK Herbert Wiklicky Imperial College, United Kingdom Alexander Wolf University of Colorado, USA Alan Wood University of York, United Kingdom Gianluigi Zavattaro University of Bologna, Italy