-- 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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
