[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple copies]
****************************************************************************
Second Call for Papers
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Special Issue on
Automated Specification and Verification of Web Systems
http://rap.dsi.unifi.it/wwv2011/jlap-wwv.html
****************************************************************************
IMPORTANT DATES
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
AIMS AND SCOPE
This special issue of the Journal of Logic and Algebraic Programming (JLAP,
http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming/)
is devoted to the topics of:
- the 7th International Workshop on Automated Specification and Verification of
Web Systems (WWV 2011, http://rap.dsi.unifi.it/wwv2011/), which took place on
June 2011 in Reykjavik, as part of the International Federated Conferences on
Distributed Computing Techniques (DisCoTec 2011);
- the 8th International Workshop on Automated Specification and Verification of
Web Systems (WWV 2012, http://users.dsic.upv.es/~jsilva/wwv2012/), which took
place on June 2012 in Stockholm, as part of the International Federated
Conferences on Distributed Computing Techniques (DisCoTec 2012).
This is however an open call for papers, therefore both participants of the
workshops 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 Rule-based programming, Software
engineering, Formal methods 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.
We solicit original papers on topics of either theoretical or applied interest,
which include, but are not limited to:
- Rule-based approaches to Web system analysis, certification, specification,
verification, and optimization.
- Languages and models for programming and designing Web systems.
- Formal methods for describing and reasoning about Web systems.
- Model-checking, synthesis and debugging of Web systems.
- 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.
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 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
http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions.
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:
http://ees.elsevier.com/jlap/default.asp
In the submission process, the authors must select the article type 'Special
Issue:WWV 2011'.
GUEST EDITORS
Laura Kovacs ([email protected]) Vienna University of
Technology, Austria
Rosario Pugliese ([email protected]) University of Florence, Italy
Josep Silva ([email protected]) Universitat Politècnica de València,
Spain
Francesco Tiezzi ([email protected]) IMT Advanced Studies Lucca,
Italy
