2nd International Workshop on Automated
         Specification and Verification
              of Web Systems (WWV'06)

           Cyprus, November 19, 2006
              (Track of 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.

We solicit paper 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 

The WWV series 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.


WWV'06 will be held in November in Cyprus as a Special Track
of the 2006 International Symposium on Leveraging Applications of
Formal Methods, Verification, and Validation (ISoLA 2006).


The first WWV'05 edition was held in Valencia, Spain, during March 
14-15, 2005. The workshop was attended by 42 participants 
from universities, research institutes, and companies from 11 countries:
Austria, Canada, France, Germany, India, Italy, Japan, Mexico, Spain, 
UK, and USA. A selection of the papers appeared as a volume of the
Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS).


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. Publication of the
workshop post-proceedings in the Springer series Lecture Notes in
Computer Science (LNCS) is envisaged.


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


Santiago Escobar (Technical University of Valencia, Spain)


Jose Julio Alferes (Universidade Nova de Lisboa, Portugal)
Maria Alpuente (Technical University of Valencia, Spain)
Demis Ballis (University of Udine, Italy)
Francois Bry (University of Munich, Germany)
Santiago Escobar (Technical University of Valencia, Spain)
Francois Fages (INRIA Rocquencourt, France)
Moreno Falaschi (University of Siena, Italy)
Gopal Gupta (University of Texas at Dallas, USA)
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)


Abstract Submission     July 3, 2006
Full Paper Submission   July 16, 2006
Acceptance Notification September 17, 2006
Camera Ready            October 15, 2006
Workshop                November 19, 2006