The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that combine Rule-based programming, Automated software engineering, and Web-oriented research. Started in 2005, the series of this workshop established itself as a lively, friendly event with many interactions and discussions.

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.


We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:

Important dates

Abstract submission April 26, 2010
Full paper submission May 3, 2010
Notification of acceptance May 31, 2010
Camera ready June 20, 2010
Workshop July 30-31, 2010

Invited speaker

Thomas Eiter                Vienna University of Technology, Austria
Andrei Voronkov               University of Manchester, UK

Program committee

Maria Alpuente Frasnedo Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
Jorge Manuel Neves Coelho     University of Porto, Portugal
Vicente Luque Centeno Universidad Carlos III de Madrid, Spain
Wlodzimierz Drabent IPI PAN, Polish Academy of Sciences, Poland
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Jens Knoop Vienna University of Technology, Austria
Laura Kovács Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Catherine Meadows Naval Research Laboratory, USA

Program co-chairs

Laura Kovács     Vienna University of Technology, Austria
Temur Kutsia     Johannes Kepler University Linz, Austria

Submission procedure

Submission site is CLOSED.

We will prepare workshop pre-proceedings for the workshop participants. After the workshop, an open call for a special journal issue is envisaged.


The workshop takes place in the library of the Computer Languages group (Argentinierstrasse 8, 4th floor, 1040 Vienna), at Vienna University of Technology.

Friday, July 30

13:00-14:00 Registration

14:00-15:00 Invited talk
Thomas Eiter. Answer Set Programming in a Nutshell

15:00-15:30 Coffee break

15:30-17:00 Session 1

19:00 Workshop dinner (Nelsons restaurant)

Saturday, July 31

10:00-11:00 Invited Talk
Andrei Voronkov. EasyChair

11:00-11:30 Coffee break

11:30-12:30 Session 2

12:30-14:00 Workshop lunch

Accepted Papers


Registration is by sending email to Laura Kovács.
Please include in your registration email your full name and affiliation, your arrival and departure day, and specify whether you would like to attend the workshop dinner on July 30.

The registration fee for WWV 2010 is 100 EUR.

Registration includes printed workshop proceedings, workshop lunch (July 31), workshop dinner (on July 30), as well as refreshments/coffee/tea during breaks.

Location and travel

WWV 2010 will be held at the Library/Seminar room of the Compilers and Languages Group (Complang) of the Faculty of Informatics at the Vienna University of Technology, Austria.
The Complang Group is located in the center of Vienna, beside the Karlskirche and near the Opera.

The address of the conference place is:
Bibliothek (Library) E185.1
Compilers and Languages Group
Argentinierstrasse 8, 4th floor
1040 Vienna, Austria

For more information about the CompLang Group, please visit:

WWV 2010 is organized immediately after the PPDP 2010 and LOPSTR 2010 conferences held in Hagenberg near Linz. There are frequent train connections of about 1.5 hours between Linz and Vienna.