International workshop on automated specification and verification of web systems, Vienna, Austria

The Sixth Workshop on Automated Specification and Verification of Web Systems (WWV) will be held in Vienna, Austria on 30 July 2010.

The yearly event aims to provide an interdisciplinary forum to facilitate the cross-fertilisation and advancement of hybrid methods combining rule-based programming, automated software engineering and web-oriented research. Topics covered at WWV will include:
- rule-based approaches to Web system analysis, certification, specification, verification, and optimization;
- formal models for describing and reasoning about Web systems;
- model-checking, synthesis and debugging of Web systems;
- analysis and verification of linked data;
- 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.For further information, please click:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(opens in new window)