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 A1E8EBC75 for ; Thu, 17 Feb 2005 13:18:34 +0100 (CET) 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 j1HCIYRv019024 for ; Thu, 17 Feb 2005 13:18:34 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA21202 for ; Thu, 17 Feb 2005 13:18:33 +0100 (MET) Received: from mx3.fundp.ac.be (mx3.fundp.ac.be [138.48.4.230]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1HCIXfW013312 for ; Thu, 17 Feb 2005 13:18:33 +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 j1HCGYM25893 for ; Thu, 17 Feb 2005 13:16:35 +0100 (MET) Received: (from ili@localhost) by backus.info.fundp.ac.be (8.11.7p1+Sun/8.9.1) id j1HCGJE21354 for caml-list@inria.fr; Thu, 17 Feb 2005 13:16:19 +0100 (MET) Date: Thu, 17 Feb 2005 13:16:19 +0100 (MET) From: Isabelle Linden Message-Id: <200502171216.j1HCGJE21354@backus.info.fundp.ac.be> To: caml-list@inria.fr Subject: MTCoord'05: Second call for papers 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 42148B9A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42148B99.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; high-level:01 ccs:01 generative:01 model:01 high-level:01 first-order:01 logics:01 debugging:01 genova:01 kwiatkowska:01 twente:01 linda:98 lime:98 ...:98 ...:98 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. ] ====================================================================== Second Call for Papers 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) April 23, 2005, Namur, Belgium Workshop affiliated to Coordination'2005, April 20 - 23 2005 ====================================================================== IMPORTANT DATES: o March 1, 2005: Abstract submission deadline. o March 8, 2005: Paper Submission deadline. o April 1, 2005: Notification of acceptance. o April 10, 2005: Final version. o April 23, 2005: Meeting Date. SCOPE Various classes of computational models, languages, and formalisms have emerged in the aim of providing high-level descriptions of concurrent, distributed, and mobile systems. Typical examples include so-called coordination languages and models (e.g. Gamma, Linda, Manifold, Reo, Klaim, Lime, ...), concurrent constraint languages (e.g. cc languages, Mozart, ...) and process algebras (e.g. CSP, CCS, pi-calculus, ...). These models are based on generative communication via a shared data space or on data communication through channels. In both cases, software components are typically conceived in isolation assuming that the required data will eventually be available. However, making a whole system out of these components and, in particular, ensuring that interactions occur properly is far from being obvious. The aim of the workshop is precisely to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems. TOPICS OF INTEREST Topics of interest include but are not limited to o Model checking techniques, in particular parallel, distributed and probabilistic ones o Design of high-level specifications, eg based on first-order, modal and temporal logics o Techniques for requirements capture and analysis o Theorem proving based methodologies o Compositional and refinement-based methodologies o Debugging techniques o Abstract interpretation o Program analysis and transformation o Simulation and testing o Formal methods for security o Tools environments and architectures o Applications and case studies, in particular in web services and biology SUBMISSION GUIDELINES Papers describing original work are solicited as contributions to MTCoord 2005. Submitted papers should be limited to 6 000 words, preferrably formatted according to the Electronical Notes in Theoretical Computer Science. They should be submitted through the conference management system that will be available from the workshop web site http://www.info.fundp.ac.be/MTCoord/MTCoord05 PUBLICATION Selected work will be published in a volume of the Electronical Notes in Theoretical Computer Science. LOCATION The workshop will be held in Namur in April 23 2005. It is a satellite workshop of Coordination 2005. For venue and registration, see the Coordination'2005 web page at http://www.coordination2005.org WORKSHOP ORGANIZERS o Lubos Brim, Masaryk University Brno, Czech Republic o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic o Rance Cleaveland, State University of New York at Stony Brook, USA o Giorgio Delzanno, University of Genova, Italy o Wan Fokkink, CWI, The Netherlands o Jean-Marie Jacquet, University of Namur, Belgium o Marta Kwiatkowska, University of Birmingham, United Kingdom o Angelika Mader, University of Twente, The Netherlands o Andreas Podelski, Max Planck Institute, Germany o Kaisa Sere, Abo Akademi University, Finland o Peter Van Roy, University of Louvain-la-Neuve, Belgium o Mirko Viroli, Alma Mater Studiorum Università di Bologna a Cesena, Italy