[Haskell] CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)

[Santiago Escobar]

       [ We apologize for multiple copies ]

*******************************************************************

     2nd International Workshop on Automated
          Specification and Verification
               of Web Systems (WWV'06)

            Cyprus, November 15-19, 2006
               (Track of ISoLA 2006)

      http://www.dsic.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 applications
    and 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).

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 15-19, 2006 (one day)