[ Our apologies for multiple copies. ]
======================================================================
Extended Deadline: April 14
======================================================================
2nd International Workshop on
Methods and Tools for Coordinating
Concurrent, Distributed and Mobile Systems
(MTCoord'06)
June 13, 2006, Bologna, Italy
Workshop affiliated to Coordination 06, June 14 - 16 2006
======================================================================
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'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
that will be available from the workshop web site.
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 April 14, 2006: Paper Submission deadline. (Extended)
o May 8, 2006: Notification of acceptance.
o May 22, 2006: Final version.
o June 13, 2006: Meeting Date.
LOCATION
The MTCoord'06 workshop will be held in Bologna in June 13
2006. It is a satellite workshop of Coordination'06. For venue and
registration, see the DisCoTec'06 web page at
http://www.discotec06.cs.unibo.it/index.htm
WORKSHOP ORGANIZERS
o Ivana Cerna, Masaryk University, Brno, Czech Republic
o Isabelle Linden, University of Namur, Belgium
PROGRAMME COMITTEE
o Marco Bernardo, Università degli Studi di Urbino "Carlo Bo",
Urbino, Italy
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 Marta Kwiatkowska, University of Birmingham, United Kingdom
o Gerald Luettgen, University of York, United Kingdom
o Angelika Mader, University of Twente, The Netherlands
o Andreas Podelski, Max Plank 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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
