posted by system || 1153 views

WWV 2012 : 8th International Workshop on Automated Specification and Verification of Web Systems


Conference Series : Workshop on Automated Specification and Verification of Web Sites
When Jun 16, 2012 - Jun 16, 2012
Where Stockholm, Sweden
Abstract Registration Due Apr 17, 2012
Submission Deadline Apr 25, 2012
Notification Due May 16, 2012
Final Version Due May 30, 2012

Call For Papers

The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that combine Rule-based programming, Automated software engineering, and Web-oriented research. Started in 2005, the series of this workshop established itself as a lively, friendly event with many interactions and discussions.

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.
Languages, models and techniques for designing, programming, and maintaining web systems.
Formal methods for describing and reasoning about Web systems.
Model-checking, synthesis and debugging of Web systems.
Automatic processing of Web systems, including filtering, bloc detection and information retrieval from Web pages.
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.
Middleware and frameworks for composition and orchestration of Web services
Web quality and Web metrics.
Web usability and accessibility.
Testing and evaluation of Web systems and applications.
Important dates

Abstract submission April 17, 2012 (extended)
Full paper submission April 25, 2012 (extended)
Notification of acceptance May 16, 2012
Camera ready May 30, 2012
Workshop June 16, 2012
Invited speakers

José Luiz Fiadeiro University of Leicester, United Kingdom
Rocco De Nicola IMT - Institute for Advanced Studies Lucca, Italy
Program committee

Jesús Almendros University of Almeria, Spain
Maria Alpuente Universitat Politècnica de València, Spain
Demis Ballis University of Udine, Italy
Daniela Da Cruz Universidade do Minho, Portugal
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Elie Najm Telecom ParisTech, France
Rosario Pugliese University of Florence, Italy
António Ravara Universidade Nova de Lisboa, Portugal
Kostis Sagonas University of Uppsala, Sweden
Emilio Tuosto University of Leicester, United Kingdom
Program co-chairs

Josep Silva Universitat Politècnica de València, Spain
Francesco Tiezzi University of Florence, Italy
Submission procedure

Submitted papers should present original unpublished work and cannot be under review for publication elsewhere. Each paper will undergo a thorough evaluation by at least three reviewers, chosen by the Program Committee. Contributions should be in PDF format and prepared in LaTeX using the EPTCS-style format ( and should not exceed 15 pages (typeset 11 points).

Submissions are handled using the EasyChair online system. Papers should be submitted to the submission website for WWV 2012.

Accepted papers will be included in the pre-proceedings, which will be made available in electronic form through this web site. Submission is a firm commitment that at least one of the authors will attend the workshop, if the paper is accepted.

After the workshop, authors of accepted papers will be asked to prepare, by incorporating insights gathered during the event, a final version of their paper to be published in the post-proceedings.

Workshop post-proceedings will be published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Special Issue in the Journal of Logic and Algebraic Programming

All authors of WWV 2012 are invited to submit an extended version of their articles to an special issue of the Journal of Logic and Algebraic Programming. You can download the call for papers here.

The important dates for the special issue are the following:


Submission of papers: August 27, 2012
First review decision: November 26, 2012
Revision due: January 14, 2013
Acceptance notification: February 25, 2013
Final manuscript due: March 25, 2013
Expected publication: Summer 2013


The registration process can be made online at the registration page of Discotec 2012.

The registration fee for WWV 2012 is 1000 SEK.
This fee includes:

Admission to tutorials/workshops
Material on USB stick
Lunches and coffee break
Welcome reception

Location and travel

WWV 2012 will take place in Stockholm, Sweden, on June 16, 2012. The workshop will take place on the KTH Campus in downtown Stockholm.

WWV 2010 is part of Discotec 2012 that is organized by KTH Royal Institute of Technology.

For updated information about traveling and accommodation, please visit:

Related Resources

ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
ASE 2019   Automated Software Engineering
ICAPS 2019   International Conference on Automated Planning and Scheduling
CAV 2019   31st International Conference on Computer-Aided Verification
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
WI 2019   IEEE/WIC/ACM International Conference on Web Intelligence (main conference CfPs)
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management
HT 2019   30th ACM Conference on Hypertext and Social Media