WWV 2005: Valencia, Spain

Invited Talks

Formal Models for describing and reasoning about Web Sites

Testing, Validation and Categorization of Web Sites

Accessibility Evaluation

XML transformation and optimization

Rule-based approaches to Web site analysis and verification

Model-checking and Static Analysis applied to the Web