[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
WWV 2008 - CALL FOR PARTICIPATION !!! Early registration deadline: JUNE 25, 2008 !!! ******************************************************************* 4th International Workshop on Automated Specification and Verification of Web Sites (WWV'08) July 4, 2008, Siena (Italy) http://wwv08.dimi.uniud.it co-located with WFLP'08 http://wflp08.dimi.uniud.it/ ******************************************************************* WWV'08 will be held in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications have turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. The WWV 2008 provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The WWV'08 program includes 6 regular papers and two invited talks by Rosario Pugliese (University of Florence, Italy) and I.V. Ramakrishnan (Stony Brook University, USA).