Contact Person : Josep Silva; Last Date for the submission of abstract : 22/03/2013; Description : The Workshop on Automated Specification and Verification of Web Systems (WWV) aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods for the development of Web Systems.