[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Our apologies for multiple copies. ] ====================================================================== 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'07) June 4, 2007, Paphos, Cyprus Workshop affiliated to Coordination 07, June 5-8 2007 ====================================================================== 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. This year, the workshop will focus on model checking techniques and compositional and refinement-based methodologies. TOPICS OF INTEREST Special topics of interest are o Model checking techniques, in particular techniques for verifying coordinating properties (including distributed and probabilistic ones) o Compositional and refinement-based methodologies However, related topics are also invited such as 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 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'07. All papers must be unpublished and not submitted simultaneously for publication elsewhere. Submitted papers should be limited to 15 pages, 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/ PUBLICATION The papers accepted for the symposium will be available at the workshop. Selected work will be published in a volume of the Electronical Notes in Theoretical Computer Science. IMPORTANT DATES o March 23, 2007: Abstract submission deadline. o March 30, 2007: Paper Submission deadline. o April 28, 2007: Notification of acceptance. o May 11, 2007 : Final version. o June 4, 2007 : Meeting Date. LOCATION The MTCoord'07 workshop will be held in Paphos, Cyprus in June 4 2007. It is a satellite workshop of Coordination'07. For venue and registration, see the DisCoTec'07 web page at http://www.discotec07.cs.ucy.ac.cy/index.htm WORKSHOP ORGANIZERS o Carolyn Talcott, SRI International, USA o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE o Marco Bernardo, Università degli Studi di Urbino "Carlo Bo", Urbino, Italy o Christel Baier, Technical University Dresden, Germany o Lubos Brim, Masaryk University, Czech Republic o Giorgio Delzanno, University of Genova, Italy o Wan Fokkink, CWI, The Netherlands o Jean-Marie Jacquet, University of Namur, Belgium o Gerald Luettgen, University of York, United Kingdom o Angelika Mader, University of Twente, The Netherlands o Kaisa Sere, Abo Akademi University, Finland -- --------------- Isabelle Linden, Teaching Coordinator Computer Science Dpt - University of Namur 21, rue Grandgagnage, B-5000 Namur - Belgium Tel : +32 (0)81 72 49 87 Fax : +32 (0)81 72 49 67 www.info.fundp.ac.be/~ili/ ----------------