[ We apologize for multiple copies ]
*******************************************************************
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
*******************************************************************
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.
We solicit paper 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
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.
Participants are encouraged to present work in progress, overviews
of more extensive work, position papers and reports of practical
experiences.
WWV'05 is supported by the EU Commission under ICT for EU-India
Cross-Cultural Dissemination project ALA/95/23/2003/077-054.
LOCATION
WWV'05 will be held in Valencia, Spain (
http://www.turisvalencia.es),
at the Department of Information Systems and Computation of
the Technical University of Valencia (
http://www.dsic.upv.es).
SUBMISSION PROCEDURE
Submission will be web-based via the conference web-site:
http://www.dsic.upv.es/workshops/wwv05
Submissions must be received by January 10, 2005. In addition, an ASCII
version of the title and abstract must be submitted by January 4, 2005.
These are strict deadlines.
Submitted papers should be at most 15 pages in the Electronic Notes
in Theoretical Computer Science (ENTCS) style and should include an
abstract and the author's information. See the author's instructions
of ENTCS style at
http://math.tulane.edu/~entcs.
PUBLICATION
Accepted papers will be published in a preliminary proceedings volume,
which will be available during the workshop. The final proceedings
will be published in the series Electronic Notes in Theoretical
Computer Science (ENTCS).
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
ORGANIZATION
Maria Alpuente Demis Ballis Santiago Escobar
Jose Hernandez Orallo Salvador Lucas Javier Oliver
Maria Jose Ramirez Josep Silva Alicia Villanueva
(Members of the ELP Group
http://www.dsic.upv.es/users/elp/elp.html)
IMPORTANT DATES
Abstract Submission 4 January 2005 (strict)
Full Paper Submission 10 January 2005 (strict)
Acceptance Notification 19 February 2005
Camera Ready 3 March 2005
Workshop 14-15 March 2005
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 25 2004 - 09:58:12 CET