[ecoop-info] CFP - ProVeCS Workshop

[Pascal ANDRE]

           Call for papers    -  ProVeCS  Workshop

Property Verification  for Software Components and Services
            http://lina.atlanstic.net/provecs

TOOLS EUROPE 2007 ETH ZURICH, SWITZERLAND, 24-28th June, 2007
------------------------------------------------


This series of workshops aims at sharing experiments and research
efforts on verification techniques and tools that are dedicated to
software components and services;  the hope and the common interest are
the emergence during the forthcoming years, of common practices and
standards  for properties, techniques and tools for researchers and
developpers  both in academia and industry.


Aims: *Component-based software engineering* and *service-oriented
architecture* are intensively researched from various points of view:
description languages, semantic models, implementation frameworks,
property verification techniques, etc

An ongoing challenge is the quality assessment of components and
services by
    stating and verifying their properties. Appropriate techniques and
tools are needed for this purpose. Moreover, the tools must scale up and
be interoperable since components and services may come from different
models and frameworks.

ProVeCS aims to bring together people interested in the development of
    tools, their use and the theoretical basis, as well as interchange
formats, properties description languages and verification tools with
the motivation to share research efforts, experiments, tools and
solutions.

Scope:
For the first edition, we expect any submission whose content
    is relevant to the area of property descriptions and verification
techniques and tools applied to software components and services.

The specific areas of interests include:

- Specification of components and services
- Formalisation of component and service properties
- Reasoning techniques
- Verification techniques
- Verification tools
- Specification and verification case studies
- Verification of Functional and non-functional properties
- Component and service refinement into implementation
- Verification Tool interoperability
- Experiments involving assessment of components and services
- Visualization, traceability and verification


Important Dates:

Paper submission deadline:  20th April 2007
Notification of acceptance: 18th May 2007
Camera-ready papers due: 28th May 2007
Workshop: 24-25th June 2007

Submission:

Papers should not exceed 10 pages and follow the
    ENTCS style. Papers should be submitted electronically as a PDF
    file to provecs (@) univ-nantes.fr.
    All the submitted papers should be reviewed by peers.
    Accepted papers will be published in the workshop proceedings.
    We plan to publish the (post)proceedings as an issue of the ENTCS
journal.

Organization and Contact:
Coloss Team - University of Nantes
provecs (@) univ-nantes.fr

Workshop Chair: Christian Attiogbe, University of Nantes, FR

Program Committee:
Pascal Andre,  University of Nantes, FR
Gilles Ardourel,   University of Nantes, FR
Carlos Canal,  Universidad de Malaga, ES
Philippe Collet, University of Nice, FR
Dimitra Giannakopoulou, NASA ARC, USA
Hans Hansson,  Malardalen University, SE
Daniel Kroening, Co-chair,  ETH  Zurich, CH
Eric Madelaine,  INRIA, FR
Patrizio Pelliccione, University of L'Aquila, IT
Pascal Poizat, INRIA, University of Evry, FR
Franco Raimondi,  University College London, UK
Thomas Santen, Technische Universitat Berlin, DE
Mario Sudholt, Ecole des Mines Nantes, FR
Petr Tuma, Charles University, CZ
Wolf Zimmermann, Martin-Luther-Universitat, DE
Christian Zirpins, University College London, UK