CfPart: 4th International Workshop on Automated (WWV'08)

From: Alicia Villanueva <villanue_at_dsic.upv.es>
Date: Mon, 23 Jun 2008 10:58:09 +0200

               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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:08 CET