WWV'06

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)

Proceedings: IEEE

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.

TOPICS

We solicit papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:

rule-based approaches to Web site analysis, certification, specification, verification, and optimization
formal models for describing and reasoning about Web sites
model-checking, synthesis and debugging of Web sites
abstract interpretation and program transformation applied to the semantic Web
intelligent tutoring and advisory systems for Web specifications authoring

IMPORTANT DATES

Abstract Submission July 3, 2006 EXTENDED Deadline July 12, 2006
Full Paper Submission July 16, 2006
Acceptance Notification September 17, 2006
Camera Ready September 24, 2006
Workshop November 19,2006

SUBMISSION PROCEDURE

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.

PUBLICATION

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

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.