2nd Int'l Workshop on Automated Specification and Verification of Web Systems
Cyprus, November 19, 2006
Special Track of the 2nd biennial Int. Symposium on Leveraging Applications of
Formal Methods, Verification, and Validation (ISoLA 2006)
The increased complexity of Web sites and the explosive growth of Web-based applications has 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.
WWV'06 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.
We solicit papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:
Submission is web-based via this link.
Submissions must be received by July 16, 2006. In addition, an ASCII version of the title and abstract must have been submitted by July 3, 2006.Submitted papers should be at most 15 pages in the Lecture Notes in Computer Science (LNCS) style. Submitted papers should include an abstract and the author's information. See the author's instructions of LNCS style at http://www.springer.de/comp/lncs/authors.html.
Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop.
After the workshop, publication of the workshop post-proceedings in IEEE is confirmed.
Registration to the ISoLA 2006 conference is done via this link. Unfortunatley, there is no special registration fee for those who only attend one ISoLA track (e.g. WWV'06). But there are for IEEE or EASST memberships and students.
Santiago Escobar Last modified: May 10, 2007