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: