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



      [ 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 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).

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 by IEEE Computer Society Press 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)





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.