SCOPE AND TOPICS

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.

Special topics of interest are

• Model checking techniques, in particular techniques for verifying coordinating properties (including distributed and probabilistic ones)
• Compositional and refinement-based methodologies

• Design of high-level specifications, eg based on first-order, modal and temporal logics
• Techniques for requirements capture and analysis
• Theorem proving based methodologies
• Debugging techniques
• Abstract interpretation
• Program analysis and transformation
• Simulation and testing
• Formal methods for security
• Tools environments and architectures
• Applications and case studies, in particular in web services and biology

SUBMISSION GUIDELINES

Papers describing original work are solicited as contributions to MTCoord'06. 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

PROCEEDINGS

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

• April 14, 2006: Paper Submission deadline (Extended).
• May 8, 2006: Notification of acceptance.
• May 22, 2006: Final version.
• June 13, 2006: Meeting Date.

The MTCoord'06 workshop will be held in Bologna in June 13 2006. It is a satellite workshop of DisCoTec'06. For venue and registration, see the DisCoTec web page.