[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)

               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)
                     co-located with WFLP'08

WWV'08 will be held in the  convention centre  of the University of 
Siena, Italy: http://www.unisi.it/santachiara/ 


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 WWV'08 program includes 6 regular papers and two invited talks by 
Rosario Pugliese (University of Florence, Italy) and I.V. Ramakrishnan	
(Stony Brook University, USA).