-- We apologize for multiple copies --
******************************************************************
****************** Call for participation ******************
******************************************************************
1st International Workshop on Automated
Specification and Verification
of Web Sites (WWV'05)
March 14-15 2005, Valencia, SPAIN
http://www.dsic.upv.es/workshops/wwv05
*******************************************************************
WWV'05 will be held in Valencia, Spain at the Technical University
of Valencia (Universidad Politecnica de Valencia):
Universidad Politecnica de Valencia
"Rectorado" Building - ground floor
Congress Room number 1
Camino de Vera S/N
46022 Valencia (Spain)
SCOPE
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.
The WWV'05 programme includes works on formal methods and techniques
applied to Web sites, Web services or Web-based applications such as:
* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
REGISTRATION
Registration is web-based via the secure link:
http://www.dsic.upv.es/workshops/wwv05/registration
The deadline for early registration is March, 4th.
ACCOMODATION
The organization of the conference has blocked rooms for the days of
the workshop in some conveniently located hotels in Valencia and in
a university dormitory. These rooms will be blocked until March, 4th.
After this day, we are not responsible for the accomodation.
For further information, follow the link:
http://www.dsic.upv.es/workshops/wwv05/valencia/accomodation.html
FALLAS FESTIVAL
The workshop coincides with the famous Valencia Fallas Festival
(March 15 - 19) which is one of the biggest festivals in Spain.
So make your reservations as soon as possible.
INVITED SPEAKERS
Shriram Krishnamurthi Brown University, USA
Anthony Finkelstein University College London, UK
PROGRAM CO-CHAIRS
Maria Alpuente Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
WORKSHOP CHAIR
Santiago Escobar Technical University of Valencia, Spain
PROGRAM COMMITTEE
Maria Alpuente Technical University of Valencia, Spain
Sarat Babu CDAC, India
Demis Ballis University of Udine, Italy
Gilles Barthe INRIA Sophia-Antipolis, France
Thierry Despeyroux INRIA Sophia-Antipolis, France
Wolfgang Emmerich University College London, UK
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Maria del Mar Gallardo Technical University of Malaga, Spain
Furio Honsell University of Udine, Italy
Giorgio Levi University of Pisa, Italy
Jan Maluszynski Linköping University, Sweden
Massimo Marchiori MIT Lab for Computer Science, USA
Tiziana Margaria University of Göttingen, Germany
ACCEPTED PAPERS
Regular Contributions
- Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari
and Laura Semini. Modeling Web Applications by the Multiple Levels
of Integrity Policy.
- Gregorio Diaz Descalzo, Juan Jose Pardo Mateo, M. Emilia Cambronero
Piqueras, Valentin Valero Ruiz and Fernando Cuartero Gomez.
Verification of Web Services with Timed Automata.
- Bo Hu, Florian Lauck and Jan Scheffczyk.
How Recent is a Web Document?
- Javier Jesus Gutierrez Rodriguez, Maria Jose Escalona Cuaresma,
Manuel Mejia Risoto and Jesus Torres Valderrama. Testing web
applications in practice.
- Martin Karusseit and Tiziana Margaria. Feature-based Modelling of a
Complex, Online-Reconfigurable Decision Support Service.
- Claude Kirchner, Helene Kirchner and Anderson Santana. Anchoring
modularity in HTML.
- Liquori Luigi, Honsell Furio and Rekha Redamalla.
A Language for Safe Manipulation of Web Documents
- Vicente Luque-Centeno, Carlos Delgado-Kloos, Jesus Arias-Fisteus
and Luis Alvarez-alvarez. Web Accessibility Evaluation Tools:
a survey and some improvements.
- Frederic Rioux and Patrice Chalin. Improving the Quality of Web-based
Enterprise Applications with Extended Static Checking: A Case Study.
- Roger G. Stone. Validating Scripted Web-Pages.
Position papers / Overviews of more extensive work
- Shadi Abou-Zahra. Automated Web Site Accessibility Evaluation.
- Temur Kutsia. Context Sequence Matching for XML.
System demonstrations / Works in progress
- David Crocker and John H. Warren. Generating commercial web
applications from precise requirements and formal specifications.
- Vicent Estruch, Cesar Ferri, Jose Hernandez-Orallo and M. Jose
Ramirez-Quintana. Web Categorisation Using Distance-Based Decision
Trees.
- Javier Garcia Vivo and Demis Ballis. A Rewriting-based system for
Web site Verification.
- Salvador Lucas. Rewriting-based navigation of Web sites.
- Josep Silva. Slicing XML Documents.
- Marco Winckler, Eric Barboni, Christelle Farenc and Philippe
Palanque. What Kind of Verification of Formal Navigation Modelling
for Reliable and Usable Web Applications?
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on So Feb 27 2005 - 08:40:01 CET