CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)

[demis at dimi.uniud.it]

             -- We apologize for multiple copies --

*******************************************************************
******************    Call for participation    *******************
*******************************************************************

             3rd International Workshop on Automated
                  Specification and Verification
                      of Web Sites (WWV'07)

          December 14, 2007, San Servolo, Venice (Italy)

                    http://wwv07.dimi.uniud.it
                      
           EARLY REGISTRATION DEADLINE: DECEMBER 11th
*******************************************************************


WWV'07 will  be held in Venice (Italy) in the  convention centre of 
the island of San Servolo.

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

The program contains papers on formal methods and techniques applied 
to Web sites, Web services or Web-based applications, such as:

 * rule-based approaches to Web site analysis, certification,
   specification, verification, and optimization
 * formal models for describing and reasoning about Web sites
 * model-checking, synthesis and debugging of Web sites
 
 
WWV'07 provides a forum for researchers from the communities of Rule-
based programming,  Automated Software  Engineering, and Web-oriented  
research to facilitate the cross-fertilization and the advancement of 
hybrid methods that combine the three areas.

REGISTRATION

Registration is web-based via the following link:

     http://wwv07.dimi.uniud.it/registration.html

The deadline for early registration is DECEMBER 11th.

ACCOMODATION

The  organization of  the workshop  has blocked single rooms in the 
research centre  of the island of San Servolo at a very special rate 
for the nights of Dec. 13th and 14th (so, you can arrive on the 13th 
and depart on the 15th). Some rooms are still available.

For further information, follow the link:

      http://wwv07.dimi.uniud.it/#accomodation


INVITED SPEAKERS

Paolo Traverso       ITC-IRST, Italy
Joost Visser         Software Improvement Group, The Netherlands

PROGRAM CO-CHAIRS

Santiago Escobar     Technical University of Valencia, Spain
Massimo Marchiori    University of Padova, Italy

WORKSHOP CHAIR

Demis Ballis         University of Udine, Italy

PROGRAM COMMITTEE

Jesus Almendros      University of Almeria, Spain
Maria Alpuente       Technical University of Valencia, Spain
Uwe Assmann          Technische Universtität Dresden, Germany
Demis Ballis         University of Udine, Italy
Gilles Barthe        INRIA Sophia-Antipolis, France
Tevfik Bultan        University of California, Santa Barbara, USA
Santiago Escobar     Technical University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Nora Koch            Ludwig Maximilians Universität München, Germany
Temur Kutsia         RISC, Linz, Austria
Massimo Marchiori    University of Padova, Italy
Tiziana Margaria     University of Potsdam, Germany
Catherine Meadows    Naval Research Laboratory, USA
Sebastian Schaffert  Salzburg Research, Austria	

ACCEPTED PAPERS

- Musab AlTurki and Jose Meseguer.
  Reduction Semantics and Formal Analysis of Orc Programs

- Peter Hofner and Florian Lautenbacher.
  Algebraic Structure of Web Services

- Jesus M. Almendros-Jimenez.
  A RDF Query Language Based on Logic Programming

- Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina.
  From a generic framework for the ALC description logic to formally verified reasoners

- Faisal Abouzaid and John Mullins.
  A Calculus for Generation, Verification and Refinement of BPEL Specifications

- Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi.
  Service discovery and negotiation with COWS

- Robin Message and Alan Mycroft.
  Controlling control flow in web applications

- Nawal Guermouche, Olivier Perrin and Christophe Ringeissen.
  Timed Specification For Web Services Compatibility Analysis

- Sonia Flores, Salvador Lucas and Alicia Villanueva.
  Formal Verification of Websites