WWV 2012 - 8th International Workshop on Automated Specification and Verification of Web Systems

Website http://discotec.ict.kth.se/ | Edit Freely

Category WWV 2012

Deadline: March 30, 2012 | Date: June 13, 2012-June 16, 2012

Venue/Country: Stockholm, Sweden

Updated: 2012-03-20 17:26:34 (GMT+9)

Call For Papers - CFP

The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research.

Nowadays, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., 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.