Automated Specification and Verification of Web Systems
10th International Workshop
July 18th, Vienna, Austria
a FLoC workshop @ Vienna Summer of Logic 2014
We solicit the submission of original and unpublished contributions not under review for publication elsewhere, which include full papers and short papers.
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.
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.