WWV 2010:Editor's Preface

The series of workshops on Automated Specification and Verification of Web Systems (WWV) provide a common forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research, in order to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The 6th workshop in the series, WWV 2010, has been organized at the Faculty of Informatics, Vienna University of Technology, Austria, in July 30-31, 2010. The previous editions took place in Hagenberg (2009), Siena (2008), Venice (2007), Paphos (2006), and Valencia (2005).

The Program Committee of WWV’10 collected two reviews for each paper and held an electronic discussion in May 2010 which has led to the selection of 5 regular papers. The scientific program also included two invited lectures, by Thomas Eiter from Vienna University of Technology (Austria) and Andrei Voronkov from the the University of Manchester (UK). We would like to thank them for having accepted our invitation.

We would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. We gratefully acknowledge the Compilers and Languages Group (Complang) at the Faculty of Informatics, Vienna University of Technology, for supporting this event.


Laura Kovacs,
Temur Kutsia

Program Committee co-chairs