ICT for EU-India Cross Cultural Dissemination Project


1st Int'l Workshop on Automated Specification and Verification of Web Sites
Valencia, Spain, March 14-15, 2005

Next edition: WWV'06

Proceedings: ENTCS Vol. 157, Issue 2

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.

WWV'05 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.


We solicit 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
  • abstract interpretation and program transformation applied to the semantic Web

Participants are encouraged to present work in progress, overviews of more extensive work, position papers and reports of practical experiences.


Abstract Submission 4 January 2005
Full Paper Submission 10 January 2005 (strict)
Acceptance Notification 19 February 2005
Camera Ready 3 March 2005
Workshop 14-15 March 2005


Submission is now closed! Submission was web-based via this link.

Submissions must have been received by January 10, 2005. In addition, an ASCII version of the title and abstract must have been submitted by January 4, 2005.

Submitted papers can fit into one of these categories:

  1. Regular contribution (15 pages maximum)
  2. System demonstration / Report of practical experiences / Work in progress (4 pages maximum)
  3. Position paper / Overview of more extensive work (15 pages maximum)
Submitted papers should be written using the Electronic Notes in Theoretical Computer Science (ENTCS) style. Submitted papers should include an abstract and the author's information. See the author's instructions of ENTCS style at http://math.tulane.edu/~entcs.


Accepted papers were published in a preliminary proceedings volume, which was available during the workshop.

After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS).


Shriram Krishnamurthi Brown University, USA
Anthony Finkelstein University College London, UK


Maria Alpuente Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy


Santiago Escobar Technical University of Valencia, Spain


Maria Alpuente Technical University of Valencia, Spain
Sarat Babu CDAC, India
Demis Ballis University of Udine, Italy
Gilles Barthe INRIA Sophia-Antipolis, France
Thierry Despeyroux INRIA Sophia-Antipolis, France
Wolfgang Emmerich University College London, UK
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Maria del Mar Gallardo Technical University of Malaga, Spain
Furio Honsell University of Udine, Italy
Giorgio Levi University of Pisa, Italy
Jan Maluszynski Linköping University, Sweden
Massimo Marchiori MIT Lab for Computer Science, USA
Tiziana Margaria University of Göttingen, Germany


Maria Alpuente Demis Ballis Santiago Escobar Vicent Estruch Cesar Ferri Javier García-Vivó
Jose Hernandez Salvador Lucas Javier Oliver Maria Jose Ramirez Josep Silva Alicia Villanueva



Santiago Escobar
Last modified: Fri Apr 15 10:52:17 CDT 2005