***********************************************************************
1st Call For Papers
4th International Workshop on Automated
Specification and Verification
of Web Systems (WWV'08)
Siena, Italy, July 4, 2008
http://wwv08.dimi.uniud.it/
co-located with WFLP'08
http://wflp08.dimi.uniud.it/
***********************************************************************
IMPORTANT DATES
Abstract Submission April 20, 2008
Full Paper Submission April 27, 2008
Acceptance Notification May 27, 2008
Camera Ready June 11, 2008
Workshop July 4, 2008
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 original papers 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
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications
The WWV series 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 previous WWV editions were: WWV'07 (Venice, Italy), WWV'06
(Paphos, Cyprus), and WWV'05 (Valencia, Spain).
LOCATION
WWV'08 will be held in July in the convention centre of the
University of Siena, Italy:
http://www.unisi.it/santachiara/
The workshop will be co-located with WFLP'08:
http://wflp08.dimi.uniud.it/
WORKSHOP VENUE
Siena is one of the nicest city in Italy. The historical centre is
situated on top of a hill and is made of beautiful medieval
buildings and churches, all surrounded by ancient walls. The
countryside of Siena is worldwide famous for its beauty. The Palio
of Siena is probably the most famous historical fair in Italy. The
most important event of it is a horse race of medieval origins,
which is held in the afternoon of July 2nd in 'Piazza del Campo'
in the centre of Siena. For more information, please visit
http://www.comune.siena.it/
SUBMISSION PROCEDURE
Submissions must be received by April 27, 2008. In addition, an
ASCII version of the title and abstract must have been submitted by
April 20, 2008. 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://www.entcs.org.
Papers should be submitted electronically via the web-based
submission site
http://www.easychair.org/conferences/?conf=wwv08
PUBLICATION
Accepted papers will be published in a preliminary proceedings
volume, which will be available during the workshop.
After the workshop, the final proceedings are going to be published
in the Elsevier series Electronic Notes in Theoretical Computer
Science (ENTCS).
PROGRAM CO-CHAIRS
Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain
WORKSHOP CHAIR
Michele Baggi University of Siena, Italy
PROGRAM COMMITTEE
Maria Alpuente Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
Gilles Barthe INRIA Sophia-Antipolis, France
Wlodzimierz Drabent IDA, Linköpings Universitet, Sweden
IPI PAN, Polish Academy of Sciences, Poland
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Mario Florido University of Porto, Portugal
Thomas A. Henzinger EPFL, Switzerland
Maria Jose Hidalgo University of Sevilla, Spain
Temur Kutsia RISC, Linz, Austria
Massimo Marchiori University of Padova, Italy
Catherine Meadows Naval Research Laboratory, USA
Antonio Vallecillo University of Malaga, Spain
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 25 2008 - 22:19:27 CET