From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C1745BC84 for ; Mon, 4 Apr 2005 15:04:02 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j34D42Bt002346 for ; Mon, 4 Apr 2005 15:04:02 +0200 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 PAA27584 for ; Mon, 4 Apr 2005 15:04:01 +0200 (MET DST) 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 j34D41Mi002337 for ; Mon, 4 Apr 2005 15:04:01 +0200 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 j34Cqbi20634 for ; Mon, 4 Apr 2005 14:52:37 +0200 (MEST) Received: (from jmj@localhost) by backus.info.fundp.ac.be (8.11.7p1+Sun/8.9.1) id j34CqRf23332 for caml-list@inria.fr; Mon, 4 Apr 2005 14:52:27 +0200 (MEST) Date: Mon, 4 Apr 2005 14:52:27 +0200 (MEST) From: Jean-Marie JACQUET Message-Id: <200504041252.j34CqRf23332@backus.info.fundp.ac.be> To: caml-list@inria.fr Subject: Coordination 2005: Final call for participation X-FUNDP-MailScanner-Information: Please contact the ISP for more information X-FUNDP-MailScanner: Found to be clean X-Miltered: at nez-perce with ID 42513B42.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42513B41.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; abstractions:01 intersection:01 politecnico:01 cardelli:01 citadel:98 highways:98 murphy:98 michel:01 alan:01 reasoning:01 cleanly:01 purdue:01 modularity:02 alexander:02 attendees:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [ Our apologies for multiple copies. ] ====================================================================== Final Call for Participation COORDINATION 2005 7th International Conference on Coordination Models and Languages Namur, Belgium, 20-23 April 2005 http://www.coordination2005.org ====================================================================== SCOPE OF THE CONFERENCE 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. PROGRAMME The program of the conference can be found at http://www.coordination2005.org It includes two invited talks by T. Lehman (IBM Almaden Research Center, USA) and J. Misra (University of Texas at Austin, USA) as well as three workshops on Coordination and Organisation, Database Interoperability, and Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. CONFERENCE LOCATION The conference will be held at the Institute of Informatics, University ot 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. Further information about the conference location may be found at the URL: http://www.coordination2005.org/travel.php CONFERENCE ACCOMMODATION AND REGISTRATION Information about accommodation (reserving rooms in hotels specially booked for Coordination 2005 attendees) and registration for Coordination 2005 and the affiliated workshops is available at http://www.coordination2005.org/registration.php 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