[TYPES/announce] CfP JLAMP - Special Issue on Automated Specification and Verification of Web Systems

[Alberto Lluch Lafuente]

-------------------------------------------------------------------------------
Call for papers

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

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.


IMPORTANT DATES

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


TOPICS OF INTEREST

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


SUBMISSION

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:

http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/

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".


GUEST EDITORS

Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150914/4b6a7c92/attachment-0001.html>