WWV 2014: call for papers

Automated Specification and Verification of Web Systems

10th International Workshop

July 18th, Vienna, Austria

a FLoC workshop @ Vienna Summer of Logic 2014

SUBMISSION

We solicit the submission of original and unpublished contributions not under review for publication elsewhere, which include full papers and short papers.

Full (regular) papers must be prepared in LaTeX using the EPTCS-style format and they should not exceed 15 pages (typeset 11 points). All accepted papers will be included in the proceedings.
Short papers are concerned with work-in-progress or tool papers and they should not exceed 6 pages. Short papers might not be included in the proceedings (a selection is invited for the proceedings).

All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. Contributions should be submitted in PDF format through the

>>> EasyChair online submission system <<<

Submission of a paper involves a firm commitment that at least one of the authors will attend and participate in the workshop in case the paper is accepted.

PUBLICATION

All accepted regular papers will be included in the proceedings, which will be published as a volume of the EPTCS series (WWV publication is indexed in DBLP and Microsoft Academic Research, among other important repositories). Selected short papers will be invited to the proceedings.

An open call for a special issue of a high-quality journal on the topic of the WWV workshop is envisaged. This has been common practice for WWV since 2009.