Automated Specification and Verification of Web Systems

12th International Workshop

June 26th, Porto, Portugal

affiliated with FSCD 2016

Call for papers (txt, pdf) | Important dates | Topics of interest | Submission & Publication | Invited speakers | Workshop chairs | Program Committee | Steering Committee | Past editions | Keynotes | Program | Registration | Venue and travel | FSCD 2016


The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. WWV fosters the cross-fertilisation and advancement of hybrid methods from such areas. During its ten earlier editions, the WWV workshop series has established itself as a lively, friendly event with many interactions and discussions.

Companies, organisations, and institutions offer most of their electronic services as sophisticated web-based applications. Prominent examples incluse e-business, e-learning, e-government, and e-health services. The increased complexity and the explosive growth of such applications has made their design and implementation a challenging task, not in the least because at the same time quality, accessibility, security, and privacy issues need to be considered. Systematic, formal approaches to their specification and verification are needed to address the problems those systems by means of automated and effective techniques and tools.


Paper submission April 16, 2016
Notification of acceptance May 13, 2016
Camera ready pre-proceedings May 31, 2016
Workshop WWV 2016 June 26, 2016
Symposium FSCD 2016 June 22-26, 2016


WWV welcomes 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:


We solicit the submission of original and unpublished contributions not under review for publication elsewhere. Contributions are expected to comprise research papers (with novel, previously unpublished results), experience reports of real-world applications, tool descriptions, and short papers (e.g. describing work-in-progress or exploratory ideas). All papers must be prepared in LaTeX using the EPTCS style.

Additional details omitted due to space limitations may be included in a clearly marked appendix. Submissions must describe work unpublished in refereed venues, not submitted elsewhere. 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 contributions will be evaluated by at least three reviewers, chosen by the Program Committee. The PC will select the best papers based on their quality, relevance to the workshop, and potential to instigate discussion. All accepted papers will be included in the post-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).

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


To be announced


Anderson Santana de Oliveira SAP Labs France, Mougins, France
Luca Vigaṇ King's College London, UK


María Alpuente UPV, Spain
Massimo Bartoletti University of Cagliari, Italy
Saddek Bensalem Verimag, Grenoble, France
Gabriele Costa University of Genova, Italy
Erik de Vink Eindhoven University of Technology, The Netherlands
José Luiz Fiadeiro Royal Holloway University, London, UK
Laura Kovács Vienna University of Technology, Austria
Axel Legay INRIA, Rennes, France
Zhiming Liu Birmingham City University, UK
Alberto Lluch Lafuente Technical University of Denmark
Hernán Melgratti University of Buenos Aires, Argentina
Fabrizio Montesi University of South Odense, Denmark
Peter Ölveczky University of Oslo, Norway
António Ravara New University of Lisbon, Portugal
Alejandro Russo Chalmers University of Technology, Sweden
Gwen Salaün Inria Rhône-Alpes, Grenoble, France
Giorgio Oronzo Spagnolo CNR, Pisa, Italy
Emilio Tuosto University of Leicester, United Kingdom
Other names to be announced To be announced


Demis Ballis University of Udine, Italy
Maurice ter Beek Consiglio Nazionale delle Ricerche, Pisa, Italy
Santiago Escobar Technical University of Valencia, Spain (co-chair)
Moreno Falaschi University of Siena, Italy (co-chair)
Laura Kovács Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Alberto Lluch Lafuente Technical University of Denmark
Massimo Marchiori University of Padova, Italy
Rosario Pugliese University of Florence, Italy
António Ravara New University of Lisbon, Portugal
Josep Silva Technical University of Valencia, Spain
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy


Initiated in 2005, the WWV workshop series has by now established itself as a lively, friendly event with many interactions and discussions.

  1. WWV'05 in Valencia, Spain; March 14-15, 2005
  2. WWV'06 in Paphos, Cyprus; November 19, 2006 (as track at ISoLA)
  3. WWV'07 in Venice, Italy; December 14, 2007
  4. WWV'08 in Siena, Italy; July 4, 2008 (co-located with WFLP)
  5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009 (as part of RISC summer)
  6. WWV'10 in Vienna, Austria; July 30-31, 2010 (co-located with PPDP & LOPSTR)
  7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec)
  8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec)
  9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec)
  10. WWV'14 in Vienna, Austria; July 18, 2014 (FLoC workshop associated to IJCAR, as part of VSL 2014)
  11. WWV'15 in Oslo, Norway; June 23, 2015 (workshop associated to FM 2015)

The previous 11 editions of WWV attracted high-quality papers that were published in ENTCS (WWV'05, WWV'07 and WWV'08), by IEEE (WWV'06) and in EPTCS (WWV'11, WWV'12, WWV'13, WWV'14, WWV'15). After WWV'09, a special issue of the Journal of Symbolic Computation on the topics of the WWV was organized. Similarly, a special issue of the Journal of Applied Logic was organized after WWV'10 and special issues of the Journal of Logic and Algebraic Programming were organized after WWV'11, WWV'12 and WWV'13. A special issue of the Journal of Logical and Algebraic Methods in Programming dedicated to WWV'14 and the CAV workshop VPT'14 is forthcoming.

For information, please e-mail the PC chairs.