[ We apologize for multiple copies ] ******************************************************************* 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN http://www.dsic.upv.es/workshops/wwv05 ******************************************************************* SCOPE 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 experiences. WWV'05 is supported by the EU Commission under ICT for EU-India Cross-Cultural Dissemination project ALA/95/23/2003/077-054. LOCATION 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 PROCEDURE Submission will be web-based via the conference web-site: http://www.dsic.upv.es/workshops/wwv05 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. These are strict deadlines. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://math.tulane.edu/~entcs. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. Publication of the workshop proceedings in the series Electronic Notes in Theoretical Computer Science (ENTCS) is envisaged. PROGRAM CO-CHAIRS Maria Alpuente (Technical University of Valencia, Spain) Moreno Falaschi (University of Siena, Italy) WORKSHOP CHAIR Santiago Escobar (Technical University of Valencia, Spain) PROGRAM COMMITTEE (TBA) ORGANIZATION The ELP Group http://www.dsic.upv.es/users/elp/elp.html IMPORTANT DATES Abstract Submission 4 January 2005 (strict) Full Paper Submission 10 January 2005 (strict) Acceptance Notification 19 February 2005 Camera Ready 3 March 2005 Workshop 14-15 March 2005