ICT for EU-India Cross Cultural Dissemination Project


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.


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


Abstract Submission July 3, 2006EXTENDED 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 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.


Massimo Marchiori University of Padua, Italy
Tevfik Bultan University of California, Santa Barbara, USA


Maria Alpuente Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy


Santiago Escobar Technical University of Valencia, Spain


José Júlio Alferes Universidade Nova de Lisboa, Portugal
Maria Alpuente Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
François Bry University of Munich, Germany
Santiago Escobar Technical University of Valencia, Spain
François Fages INRIA Rocquencourt, France
Moreno Falaschi University of Siena, Italy
Gopal Gupta University of Texas at Dallas, US
Shriram Krishnamurthi Brown University, USA
Tiziana Margaria University of Potsdam, Germany
I.V. Ramakrishnan State University of New York at Stony Brook, USA
Leon van der Torre University of Luxembourg, Luxembourg


María Alpuente Santiago Escobar Cesar Ferri Jose Hernández
Maria Luisa LLorens Salvador Lucas Javier Oliver María José Ramirez Alicia Villanueva



Santiago Escobar
Last modified: May 10, 2007