-- We apologize for multiple copies -- ******************************************************************* ****************** Call for participation ******************* ******************************************************************* 3rd International Workshop on Automated Specification and Verification of Web Sites (WWV'07) December 14, 2007, San Servolo, Venice (Italy) http://wwv07.dimi.uniud.it EARLY REGISTRATION DEADLINE: DECEMBER 11th ******************************************************************* WWV'07 will be held in Venice (Italy) in the convention centre of the island of San Servolo. 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. The program contains 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 WWV'07 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. REGISTRATION Registration is web-based via the following link: http://wwv07.dimi.uniud.it/registration.html The deadline for early registration is DECEMBER 11th. ACCOMODATION The organization of the workshop has blocked single rooms in the research centre of the island of San Servolo at a very special rate for the nights of Dec. 13th and 14th (so, you can arrive on the 13th and depart on the 15th). Some rooms are still available. For further information, follow the link: http://wwv07.dimi.uniud.it/#accomodation INVITED SPEAKERS Paolo Traverso ITC-IRST, Italy Joost Visser Software Improvement Group, The Netherlands PROGRAM CO-CHAIRS Santiago Escobar Technical University of Valencia, Spain Massimo Marchiori University of Padova, Italy WORKSHOP CHAIR Demis Ballis University of Udine, Italy PROGRAM COMMITTEE Jesus Almendros University of Almeria, Spain Maria Alpuente Technical University of Valencia, Spain Uwe Assmann Technische Universtität Dresden, Germany Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Tevfik Bultan University of California, Santa Barbara, USA Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Nora Koch Ludwig Maximilians Universität München, Germany Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Tiziana Margaria University of Potsdam, Germany Catherine Meadows Naval Research Laboratory, USA Sebastian Schaffert Salzburg Research, Austria ACCEPTED PAPERS - Musab AlTurki and Jose Meseguer. Reduction Semantics and Formal Analysis of Orc Programs - Peter Hofner and Florian Lautenbacher. Algebraic Structure of Web Services - Jesus M. Almendros-Jimenez. A RDF Query Language Based on Logic Programming - Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina. From a generic framework for the ALC description logic to formally verified reasoners - Faisal Abouzaid and John Mullins. A Calculus for Generation, Verification and Refinement of BPEL Specifications - Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi. Service discovery and negotiation with COWS - Robin Message and Alan Mycroft. Controlling control flow in web applications - Nawal Guermouche, Olivier Perrin and Christophe Ringeissen. Timed Specification For Web Services Compatibility Analysis - Sonia Flores, Salvador Lucas and Alicia Villanueva. Formal Verification of Websites