1st International Workshop on Automated
         Specification and Verification
              of Web Sites (WWV'05)

      March 14-15 2005, Valencia, SPAIN




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

WWV'05 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.

Participants are encouraged to present work in progress, overviews 
of more extensive work, position papers and reports of practical 


WWV'05 will be held in Valencia, Spain (http://www.turisvalencia.es),
at  the  Department  of  Information  Systems  and  Computation of 
the Technical University of Valencia (http://www.dsic.upv.es).


Submission will be web-based via the conference web-site:


Submissions must be received by January 10, 2005. In addition, an ASCII
version of the title and abstract must be submitted by January 4, 2005.

Submitted papers can fit into one of these categories:
 (1) Regular contribution 
     (15 pages maximum)
 (2) System demonstration / Report of practical experiences / Work in progress 
     (4 pages maximum)
 (3) Position paper / Overview of more extensive work 
     (15 pages maximum)

Submitted papers should be written using the Electronic Notes in
Theoretical Computer Science (ENTCS) style. Submitted papers should
include an abstract and the author's information. See the author's
instructions of ENTCS style at http://math.tulane.edu/~entcs.


Accepted papers will be published in a preliminary proceedings volume,
which will be available during the workshop. 

After the workshop, the final proceedings will be published in the Elsevier 
series Electronic Notes in Theoretical Computer Science (ENTCS). Accepted papers 
of categories (1) and (2) will be published in the ENTCS final proceedings. 
However, ENTCS publication of papers in category (3) will be decided on the 
basis of their original contents.


Shriram Krishnamurthi   Brown University, USA 
Anthony Finkelstein     University College London, UK


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


Santiago Escobar        Technical University of Valencia, Spain


Maria Alpuente          Technical University of Valencia, Spain
Sarat Babu              CDAC, India
Demis Ballis            University of Udine, Italy
Gilles Barthe           INRIA Sophia-Antipolis, France
Thierry Despeyroux      INRIA Sophia-Antipolis, France
Wolfgang Emmerich       University College London, UK
Santiago Escobar        Technical University of Valencia, Spain
Moreno Falaschi         University of Siena, Italy
Maria del Mar Gallardo  Technical University of Malaga, Spain
Furio Honsell           University of Udine, Italy
Giorgio Levi            University of Pisa, Italy
Jan Maluszynski         Linköping University, Sweden
Massimo Marchiori       MIT Lab for Computer Science, USA
Tiziana Margaria        University of Göttingen, Germany


Maria Alpuente         Demis Ballis       Santiago Escobar    
Vicent Estruch         Cesar Ferri        Javier Garcia-Vivo     
Jose Hernandez         Salvador Lucas     Javier Oliver          
Maria Jose Ramirez     Josep Silva        Alicia Villanueva

(Members of the ELP Group http://www.dsic.upv.es/users/elp/elp.html)


Abstract Submission               4 January  2005  
Full Paper Submission            10 January  2005  (strict)
Acceptance Notification          19 February 2005
Camera Ready                      3 March    2005
Workshop                         14-15 March 2005