WWV 2008 - CALL FOR PARTICIPATION
!!! Early registration deadline: JUNE 25, 2008 !!!
*******************************************************************
4th International Workshop on Automated
Specification and Verification
of Web Sites (WWV'08)
July 4, 2008, Siena (Italy)
http://wwv08.dimi.uniud.it
co-located with WFLP'08
http://wflp08.dimi.uniud.it/
*******************************************************************
WWV'08 will be held in the convention centre of the University of
Siena, Italy:
http://www.unisi.it/santachiara/
SCOPE
The increased complexity of Web sites and the explosive growth of
Web-based applications have 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 WWV 2008 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.
The WWV08 program includes 6 regular papers and two invited talks by
Rosario Pugliese (University of Florence, Italy) and I.V. Ramakrishnan
(Stony Brook University, USA).
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Jun 23 2008 - 12:15:07 CEST