Call for Papers

Special Issue on
Automated Specification and Verification of Web Systems

This special issue of the Journal of Logic and Algebraic Programming (JLAP, is devoted to the topics of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013,, which took place on June in Firenze, as part of the International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013). This is however an open call for papers, therefore both participants of the workshop and other authors are encouraged to submit contributions.

The aim of this special issue is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Software engineering, Formal methods, Rule-based programming and Web-oriented research.

Nowadays, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools.


Submission of papers November 15, 2013 (Extended)
First review decision April 2, 2014 (Extended)
Revision due April 30, 2014
Acceptance notification June 15, 2014
Final manuscript due July 15, 2014
Expected publication Autumn 2014


We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to:


We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about 50 days to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision.

Contributions should be in PDF format and must comply with JLAP's author guidelines, which can be retrieved from The manuscripts must be written in English and should be prepared using the Elsevier LaTeX package.

Submissions are handled using the Elsevier Editorial System and can be uploaded using the following link:

In the submission process, the authors must select the article type WWV 2013.


António Ravara   Universidade Nova de Lisboa, Portugal
Josep Silva   Universitat Politècnica de València, Spain