Workshop WWV 2008 logo
4th Int'l Workshop on Automated Specification and
Verification of Web Systems

Siena, Italy
July 4, 2008
Co-located with WFLP 2008

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 WWV series 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 original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:


Abstract Submission April 20, 2008May 5, 2008
Full Paper Submission April 27, 2008May 12, 2008
Acceptance Notification May 27, 2008 June 9, 2008
Camera Ready June 11, 2008June 15, 2008
Workshop July 4, 2008


Rosario Pugliese Università degli Studi di Firenze, Italy
I.V. Ramakrishnan Stony Brook University, USA


Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain


Michele Baggi University of Siena, Italy


Maria Alpuente Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
Gilles Barthe INRIA Sophia-Antipolis, France
Wlodzimierz Drabent IDA, Linköpings universitet, Sweden
IPI PAN, Polish Academy of Sciences, Poland
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Màrio Florido University of Porto, Portugal
Thomas A. Henzinger EPFL, Switzerland
Marìa José Hidalgo University of Sevilla, Spain
Temur Kutsia RISC, Linz, Austria
Massimo Marchiori University of Padova, Italy
Catherine Meadows Naval Research Laboratory, USA
Antonio Vallecillo University of Malaga, Spain


Submissions must be received by May 12, 2008. In addition, an ASCII version of the title and abstract must have been submitted by May 5, 2008.

Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at

Submission is web-based via this link: Submission


We have reserved several rooms in the convention centre Santa Chiara (Via Valdimontone, 1 - Siena) of the University of Siena, for the nights of July 3rd and 4th (it is also possible to extend the reservation for more days). The rooms are provided at a special rate: 65 Eur/night for single rooms and 106 Eur/night for double rooms. The prices include breakfast.

It is very difficult to find room in other hotels in this period. Please reserve as soon as possible.

For reserving your accommodation at the convention centre Santa Chiara, please fill the following form: Accommodation form
For further information, please contact Elisa Tiezzi.


Accepted papers will be published in a preliminary proceedings volume, which will be 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).


WWV'08 will be held in July in the convention centre of the University of Siena, Italy: (Via Valdimontone, 1 - Siena)

The workshop will be co-located with WFLP'08:


Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in "Piazza del Campo" in the centre of Siena.

For more information, please visit


You can find all travel information to get to Siena by consulting this link: Wikitravel - Siena.
The Santa Chiara center address is:
Via Valdimontone, 1 - Siena

Copyright © 2008 Michele Baggi
Last modified: June 04, 2008
Valid XHTML 1.0 Strict Valid CSS