Automated Specification and Verification of Web Systems 10th International Workshop July 18th, Vienna, Austria a FLoC workshop @ Vienna Summer of Logic 2014

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 exploit concepts and tools drawn from rule-based programming, formal methods, software engineering and Web-oriented research. Celebrating its 10th edition this year, the WWV workshop series has established itself as a lively, friendly event with many interactions and discussions.

Nowadays, many companies and institutions have diverted their Web sites into interactive, completely automated, Web-based applications for areas such as e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems has made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools.

This year, WWV is a satellite workshop of FLoC 2014, associated to the 7th International Joint Conference on Automated Reasoning (IJCAR 2014).

Topics of either theoretical or applied interest include, but are not limited to:

• Rule-based approaches to Web system analysis, certification, specification, verification and optimization
• Languages and models for programming and designing Web systems
• Formal methods 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
• Middleware and frameworks for composition and orchestration of Web services
• Software Product Line Engineering for Web systems
• Feature-oriented modeling and variability analysis of Web systems