posted by organizer: albertolluch || 1682 views || tracked by 8 users: [display]

JLAMP SI WWV 2015 : JLAMP - Special Issue on Automated Specification and Verification of Web Systems


When N/A
Where N/A
Submission Deadline Nov 30, 2015
Notification Due Feb 28, 2015
Final Version Due Aug 31, 2015
Categories    web   internet   formal methods   security

Call For Papers

Call for papers


Special Issue on Automated Specification and Verification of Web Systems

This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the themes of the WWV workshop series on Automated Specification and Verification of Web Systems (WWV). This is however an open call for papers and everyone is invited to submit.


30 November 2015: paper submission
28 February 2016: 1st round reviews
30 April 2016: submission of the revised version
30 June 2016: 2nd round reviews
31 August 2016: submission of the final version


We solicit original papers or extended/modified versions of conference papers, of either theoretical or applied interest, including case studies or experience reports, in all areas of web-based systems (web services, cloud platforms, Internet-of-Things, social networks, big data), including but not limited to:

* Formal methods and rigorous software and system engineering
* Declarative, rule-based approaches
* Product line and feature-oriented engineering
* Programming and design languages and models
* Specification, certification, transformation, and synthesis
* Analysis, verification, model checking, and debugging
* Semi-structured data, linked data, and semantic web
* Security, trust, privacy, reputation, confidentiality, and integrity
* Quality, metrics, usability, and accessibility
* Testing, evaluation, and optimisation
* Middleware, platforms, and frameworks


We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions, which have not previously been published and that are also not simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least three reviewers. Such articles can be extended/modified versions of conference papers. In that case, in accordance with the editors of JLAMP, we would appreciate it if your submission includes a clear statement of the novelty with respect to the conference version.

All contributions must be written in English, must be submitted in PDF format and must comply with JLAMP's author instructions (the manuscripts should be prepared using Elsevier's elsart.cls LaTeX article class) which can be retrieved from the journal's homepage:

Submissions are handled using the Elsevier Editorial System and can be uploaded via the aforementioned JLAMP homepage. In the submission process, the authors must select article type “SI: WWV2015".


Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Alberto Lluch Lafuente, Technical University of Denmark, Denmark

Related Resources

ATVA 2016   14th International Symposium on Automated Technology for Verification and Analysis
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
IEEE TDSC Journal SI 2016   IEEE TDSC Special Issue on Data-Driven Dependability and Security
ASE 2016   31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
TASE 2016   10th International Symposium on Theoretical Aspects of Software Engineering
WEBIST 2017   13th International Conference on Web Information Systems and Technologies
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
ICISSP 2017   3rd International Conference on Information Systems Security and Privacy
SI: Digital Forensics 2017   Call for Papers for Special Issue on Digital Forensics for IEEE S&P magazine
IJIMS 2015   International Journal of Internet Manufacturing and Services