[PVS] SYANCO 2007 Final Call for Presentations

[SYANCO 2007 <syanco-workshop@xxxxxxxxxxxxxxxxxxxxx>]

                        [Apologies for multiple copies]

****************************************************************************
                         FINAL CALL FOR PRESENTATIONS 
             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
submissions of presentations.

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 to select appropriate ones for
acceptance, based on their relevance, merit, originality, and technical 
content. The authors of the accepted submissions are expected to present and
discuss their work at the workshop.


WORKSHOP PROCEEDINGS:

The extended abstract of a presentation will not be published in the workshop
proceedings.


IMPORTANT DATES:

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, NICTA, Australia, 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