*******************************************************************
2nd International Workshop on Automated
Specification and Verification
of Web Systems (WWV'06)
Cyprus, November 19, 2006
(Track of ISoLA 2006)
http://elp.webs.upv.es/workshops/wwv06
*******************************************************************
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
* intelligent tutoring and advisory systems for Web specifications
authoring
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.
LOCATION
WWV'06 will be held in November in Cyprus as a Special Track
of the 2006 International Symposium on Leveraging Applications of
Formal Methods, Verification, and Validation (ISoLA 2006).
HISTORY
The first WWV'05 edition was held in Valencia, Spain, during March
14-15, 2005. The workshop was attended by 42 participants
from universities, research institutes, and companies from 11 countries:
Austria, Canada, France, Germany, India, Italy, Japan, Mexico, Spain,
UK, and USA. A selection of the papers appeared as a volume of the
Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS).
SUBMISSION PROCEDURE
Submissions must be received by July 16, 2006. In addition, an ASCII
version of the title and abstract must have been submitted by July 3, 2006.
Submitted papers should be at most 15 pages in the Lecture Notes in
Computer Science (LNCS) style. Submitted papers should include an abstract
and the author's information. See the author's instructions of LNCS style
at http://www.springer.de/comp/lncs/authors.html.
PUBLICATION
Accepted papers will be published in a preliminary proceedings volume,
which will be available during the workshop. Publication of the
workshop post-proceedings in the Springer series Lecture Notes in
Computer Science (LNCS) is envisaged.
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
Jose Julio Alferes (Universidade Nova de Lisboa, Portugal)
Maria Alpuente (Technical University of Valencia, Spain)
Demis Ballis (University of Udine, Italy)
Francois Bry (University of Munich, Germany)
Santiago Escobar (Technical University of Valencia, Spain)
Francois Fages (INRIA Rocquencourt, France)
Moreno Falaschi (University of Siena, Italy)
Gopal Gupta (University of Texas at Dallas, USA)
Shriram Krishnamurthi (Brown University, USA)
Tiziana Margaria (University of Potsdam, Germany)
I.V. Ramakrishnan (State University of New York at Stony Brook, USA)
Leon van der Torre (University of Luxembourg, Luxembourg)
IMPORTANT DATES
Abstract Submission July 3, 2006
Full Paper Submission July 16, 2006
Acceptance Notification September 17, 2006
Camera Ready October 15, 2006
Workshop November 19, 2006