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.

TOPICS

We solicit original 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
• Intelligent tutoring and advisory systems for Web specifications authoring
• Web quality and Web metrics
• Web usability and accessibility
• Testing and evaluation of Web systems and applications

IMPORTANT DATES

INVITED SPEAKERS

PROGRAM CO-CHAIRS

WORKSHOP CHAIR

PROGRAM COMMITTEE

SUBMISSION PROCEDURE

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 http://www.entcs.org.

Submission is web-based via this link: Submission

ACCOMMODATION

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.

PUBLICATION

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).

LOCATION

WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ (Via Valdimontone, 1 - Siena)

The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/

WORKSHOP VENUE

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 http://www.comune.siena.it/

TRAVEL INFORMATION

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