Automated Specification and Verification of Web Systems

10th International Workshop

July 18th, Vienna, Austria

a FLoC workshop @ Vienna Summer of Logic 2014

WWV 2014 | Call for papers (txt, pdf) | Important dates | Invited speakers | Program Committee | Steering Committee | Program | Registration | Venue and travel | VSL 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.