[PVS] SYANCO 2007 Extended Deadline

[SYANCO 2007 <syanco-workshop@xxxxxxxxxxxxxxxxxxxxx>]

                        [Apologies for multiple copies]

****************************************************************************
                      FINAL CALL FOR PAPERS (new deadline)
             First International Workshop on Synthesis and Analysis
                     of Component Connectors (SYANCO 2007)
                        Affiliated with ESEC/FSE 2007
                    September, 3th-4th, Dubrovnik, Croatia
              http://wwwtcs.inf.tu-dresden.de/ALGI/syancoworkshop/
****************************************************************************

SCOPE:

Construction of complex systems out of black-box components or services
involves non-trivial glue code that embodies increasingly complex protocols,
far beyond trivial "wiring" of those components or services. Distribution of
the constituent components and services and their heterogeneity, as in
service oriented computing, only compound the complexity of the connectors
that must compose and engage them in such protocols. Systematic approaches
to tackle this complexity requires the recognition of connectors as
first-class concepts.

The focus of this workshop is on the glue code itself and its properties,
independent of the entities that it connects. The goal of this workshop is
to advocate glue code as a first-class constituent in complex systems, and
promote application of formal methods to its synthesis and analysis as a
means to allow compositional construction and reasoning about the properties
of composite systems.

Topics of interest include models, methods, logics, tools, techniques,
middleware, and systems for formal synthesis and analysis of coordination
glue code used to connect back-box components and services in parallel and
distributed environments to compose new systems or services. Both behavioral
properties (liveness, termination, reachability, etc.) as well as
non-functional properties (e.g., resource consumption, quality of service,
performance measures, etc.) constitute relevant topics of interest.

This workshop is open for participation to any member of the community,
particularly researchers working on formal methods, verification,
concurrency, coordination, service oriented computing, Grid, and component
based software engineering. Specifically, participation by PhD students is
encouraged.


SUBMISSIONS:

In order to encourage participation and discussion, this workshop solicits
two types of submissions:

   1. regular papers, and
   2. presentations.


1. Regular paper submissions must be original work, and must not have been
previously published, nor be under consideration for publication elsewhere.
Regular paper submission must not exceed 15 pages, possibly followed by a
clearly marked appendix which will be removed for the proceedings and
contains technical material for the reviewers.

2. A presentation reports on recent or ongoing work on relevant topics and 
ideas, for timely discussion and feedback at the workshop. 
There is no restriction as for previous/future publication of the contents
of a presentation. Typically, a presentation is based on a paper which 
recently appeared (or which is going to appear) in the proceedings of 
some conference or other workshop, or which has not yet been submitted. The
(extended) abstract of presentation submissions should not exceed 4 pages.

All submissions must be as PDF and adhere to the ACM proceedings format and
made via email by the stated deadline.

The workshop PC will review all submissions of both types to select
appropriate ones for acceptance in each category, based on their relevance,
merit, originality, and technical content. The authors of the accepted
submissions of both types are expected to present and discuss their work at
the workshop.

WORKSHOP PROCEEDINGS:

Accepted regular papers will be published in the workshop proceedings, in
the ACM Digital Library and on the same CD as that of the main ESEC/FSE 2007
conference. 
The extended abstract of a presentation will not be published in the workshop
proceedings.


IMPORTANT DATES:

Submission deadline (regular papers and presentations): June 1
Notification: June 15
Camera-ready papers: July 1
Workshop presentation (extended) abstract submission: July 1



ORGANIZATION:

PC Chairs:

    * Farhad Arbab, farhad.arbab(at)cwi.nl
    * Christel Baier, baier(at)tcs.inf.tu-dresden.de 

Program Committee:

Farhad Arbab, CWI, Amsterdam, The Netherlands
Christel Baier, Universitaet Dresden, Germany
Luis Barbosa, University of Minho, Portugal
Antonio Brogi, University of Pisa, Italy
Carlos Canal, University of Malaga, Spain
Rocco De Nicola, University of Pisa, Italy
Jose Luiz Fiadeiro, University of Leicester, UK
Rob van Glabbeek, University of Stanford, USA
Jean-Marie Jacquet, University of Namur, Belgium
Einar Broch Johnsen, University of Oslo, Norway
Jetty Kleijn, Leiden University, The Netherlands
Ugo Montanari, University of Pisa, Italy
Ernesto Pimentel, University of Malaga, Spain
Carolyn Talcott, SRI International, USA
Erik de Vink, Technical University of Eindhoven, The Netherlands
Wang Yi, Uppsala University, Sweden