WWV 2005Home pageImportant dates Submission Invited speakers Organization Call for papers Program Accepted VENUEValenciaAccommodation Travelling Workshop Hall WWV SeriesMainWWV05 WWV06 WWV07 |
WWV'05
1st Int'l Workshop on Automated
Specification and Verification
of Web Sites
Valencia, Spain, March 14-15, 2005 Next edition: WWV'06 Proceedings: ENTCS Vol. 157, Issue 2 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'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. TOPICSWe solicit papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:
Participants are encouraged to present work in progress, overviews of more extensive work, position papers and reports of practical experiences. IMPORTANT DATES
SUBMISSION PROCEDURESubmission is now closed! Submission was web-based via this link. Submissions must have been received by January 10, 2005. In addition, an ASCII version of the title and abstract must have been submitted by January 4, 2005. Submitted papers can fit into one of these categories:
PUBLICATIONAccepted papers were published in a preliminary proceedings volume, which was available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS
PROGRAM CO-CHAIRS
WORKSHOP CHAIR
PROGRAM COMMITTEE
ORGANIZATION
SPONSORSSantiago Escobar Last modified: Fri Apr 15 10:52:17 CDT 2005 |