[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Our apologies for multiple copies. ] ====================================================================== 4th International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'08) June 7, 2008, Oslo, Norway Workshop affiliated to DisCoTec 08, June 4-6 2008 ====================================================================== SCOPE Various classes of computational models, languages, and formalisms have emerged with 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 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, other topics, as related to coordination, are also of interest, including: 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 INVITED SPEAKER Jean-Marie Jacquet, University of Namur, Belgium SUBMISSION GUIDELINES Papers describing original work are solicited as contributions to MTCoord'08. 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 20, 2007: Paper Submission deadline. o May 5, 2007 : Notification of acceptance. o May 15, 2007 : Final version. o June 7, 2007 : Meeting Date. LOCATION The MTCoord'08 workshop will be held in Oslo, Norway on June 7 2008. It is a satellite workshop of Discotec'08. For venue and registration, see the DisCoTec'08 web page at http://discotec08.ifi.uio.no/DisCoTec08/HomePage WORKSHOP ORGANIZERS o Carolyn Talcott, SRI International, USA o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE * Marco Bernardo,Università degli Studi di Urbino "Carlo Bo", Urbino, Italy * Christel Baier, Technical University Dresden, Germany * Lubos Brim, Masaryk University, Czech Republic * Giorgio Delzanno, University of Genova, Italy * Wan Fokkink, CWI, The Netherlands * Jean-Marie Jacquet, University of Namur, Belgium * Gerald Luettgen, University of York, United Kingdom * Angelika Mader, University of Twente, The Netherlands * Mirko Viroli, Alma Mater Studiorum Università di Bologna a Cesena, Italy * Kaisa Sere, Abo Akademi University, Finland