[Haskell] 2nd CfP: WWV'10

Temur Kutsia kutsia at risc.uni-linz.ac.at
Thu Mar 25 14:30:26 EDT 2010

[Apologies if you receive multiple copies]

     *                   CALL FOR PAPERS                       *
     *                                                         *
     *                       WWV 2010                          *
     * Automated Specification and Verification of Web Systems *
     *             6th International Workshop                  *
     *                                                         *
     *      Vienna University of Technology, Austria           *
     *                 July 30-31, 2010                        *
     *      http://www.complang.tuwien.ac.at/WWV2010/          *


Abstract Submission       April 12, 2010
Full Paper Submission     April 19, 2010
Acceptance Notification   May 23, 2010
Camera Ready              June 20, 2010
Workshop                  July 30-31, 2010


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 system analysis,
   certification, specification, verification,
   and optimization
* algebraic methods for verification and certification
   of Web systems
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* analysis and verification of linked data
* 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'09 (Hagenberg, Austria),
WWV'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus),
and WWV'05 (Valencia, Spain).


WWV 2010 will be held at the Compilers and Languages Group (Complang) of
the Faculty of Informatics at the Vienna University of Technology, Austria.
The Complang Group is located in the center of Vienna,
beside the Karlskirche and near the Opera.

For more information about the Complang Group, please visit:


Submissions must be received by April 19, 2010.
In addition, an ASCII version of the title and abstract
must be submitted by April 12, 2010.

Please submit research reports up to 15 pages in PDF,
conforming to the format produced by LaTeX using the
easychair.cls class file of EasyChair.
The class style may be downloaded at:


Submission is web-based via this link:



We will prepare workshop pre-proceedings for the workshop participants.

After the workshop, an open call for a special journal issue is envisaged.


Laura Kovacs, Vienna University of Technology, Austria
Temur Kutsia, Johannes Kepler University Linz, Austria


Maria Alpuente Frasnedo, Technical University of Valencia, Spain
Demis Ballis, University of Udine, Italy
Jorge Manuel Neves Coelho,  University of Porto, Portugal
Vicente Luque Centeno, Universidad Carlos III de Madrid, Spain
Wlodzimierz Drabent, Linkoeping University, Sweden
Santiago Escobar, Technical University of Valencia, Spain
Moreno Falaschi, University of Siena, Italy
Jens Knoop, Vienna University of Technology, Austria
Laura Kovacs, Vienna University of Technology, Austria
Temur Kutsia, Johannes Kepler University Linz, Austria
Catherine Meadows, Naval Research Laboratory, USA

Thomas Eiter, Vienna University of Technology, Austria
Andrei Voronkov, University of Manchester, UK

WWV 2010 will take place after the RISC Summer 2010 conference series:


held in Hagenberg near Linz. There are frequent train connections of 
about 1.5 hours between Linz and Vienna.

More information about the Haskell mailing list