WWV: Workshop on Automated Specification and Verification of Web Sites



Past:   Proceedings on DBLP

Future:  Post a CFP for 2016 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
WWV 2015 11th International Workshop on Automated Specification and Verification of Web Systems
Jun 23, 2015 - Jun 23, 2015 Oslo, Norway Mar 25, 2015 (Mar 18, 2015)
WWV 2011 7th Int'l Workshop on Automated Specification and Verification of Web Systems
Jun 9, 2011 - Jun 9, 2011 Reykjavik Apr 11, 2011 (Apr 4, 2011)
WWV 2009 5th International Workshop on Automated Specification and Verification of Web Systems
Jul 17, 2009 - Jul 17, 2009 Castle of Hagenberg, Austria Feb 9, 2009 (Feb 2, 2009)

Present CFP : 2015

* *
* WWV 2015 *
* Automated Specification and Verification of Web Systems *
* 11th International Workshop *
* *
* June 23rd - Oslo (Norway) *
* affiliated with FM 2015 *
* *
* Call for Papers *
* *

Homepage: http://wwv2015.isti.cnr.it/


Abstract submission March 18, 2015
Paper submission March 25, 2015
Notification of acceptance May 8, 2015
Camera ready versions May 31, 2015
Workshop WWV 2015 June 23, 2015


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 include 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.

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:
- Formal methods and rigorous software and system engineering
- Declarative, rule-based approaches
- Product line and feature-oriented engineering
- Programming and design languages and models
- Specification, certification, transformation, and synthesis
- Analysis, verification, model checking, and debugging
- Semi-structured data, linked data, and semantic web
- Security, trust, privacy, reputation, confidentiality, and
- Quality, metrics, usability, and accessibility
- Testing, evaluation, and optimisation
- Middleware, platforms, and frameworks


Dino Distefano Queen Mary University, London, UK
Jose Meseguer University of Illinois, USA


We solicit the submission of original, 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

- Full papers should not exceed 16 pages (typeset 11 points).
- Short papers should not exceed 8 pages.

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.


Maurice H. ter Beek ISTI-CNR, Pisa, Italy
Alberto Lluch Lafuente Technical University of Denmark


Maria Alpuente Technical University of Valencia, Spain
Massimo Bartoletti University of Cagliari, Italy
Saddek Bensalem Verimag, Grenoble, France
Xinyu Feng University of Science and Technology of China
Maribel Fernandez King's College, London, UK
Jose Fiadeiro Royal Holloway University, London, UK
Stefania Gnesi ISTI-CNR, Pisa, Italy
Laura Kovacs Vienna University of Technology, Austria
Axel Legay INRIA, Rennes, France
Michael Leuschel Heinrich-Heine-University, Dusseldorf, Germany
Zhiming Liu Birmingham City University, UK
Hernan Melgratti University of Buenos Aires, Argentina
Fabrizio Montesi University of South Odense, Denmark
Peter Olveczky University of Oslo, Norway
Antonio Ravara New University of Lisbon, Portugal
Alejandro Russo Chalmers University of Technology, Sweden
Gwen Salaun Inria Rhone-Alpes, Grenoble, France
Vladimiro Sassone University of Southampton, UK
Josep Silva Technical University of Valencia, Spain
Carolyn Talcott SRI International, USA
Emilio Tuosto University of Leicester, UK
Erik de Vink Eindhoven University of Technology, The Netherlands


Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain (co-Chair)
Moreno Falaschi University of Siena, Italy (co-Chair)
Laura Kovacs Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Rosario Pugliese University of Florence, Italy
Antonio 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

1. WWV'05 in Valencia, Spain; March 14-15, 2005
homepage: http://users.dsic.upv.es/workshops/wwv05/

2. WWV'06 in Paphos, Cyprus; November 19, 2006 (as track at ISoLA)
homepage: http://users.dsic.upv.es/workshops/wwv06/

3. WWV'07 in Venice, Italy; December 14, 2007
homepage: http://wwv07.dimi.uniud.it/

4. WWV'08 in Siena, Italy; July 4, 2008 (co-located with WFLP)
homepage: http://wwv08.dimi.uniud.it/

5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009 (as part of RISC summer)
homepage: http://www.risc.uni-linz.ac.at/about/conferences/wwv09/

6. WWV'10 in Vienna, Austria; July 30-31, 2010 (co-located with PPDP & LOPSTR)
homepage: http://www.complang.tuwien.ac.at/WWV2010/

7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec)
homepage: http://rap.dsi.unifi.it/wwv2011/

8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec)
homepage: http://users.dsic.upv.es/~jsilva/wwv2012/

9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec)
homepage: http://users.dsic.upv.es/~jsilva/wwv2013/

9. WWV'14 in Vienna, Austria; July 18, 2014 (FLoC workshop associated to IJCAR,
as part of VSL 2014)
homepage: http://wwv2014.isti.cnr.it/

The previous 10 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 and WWV'14).
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.

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
CSW 2024   2024 3rd International Conference on Cyber Security
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
FDL 2024   Forum on specification and Design Languages
IOTCB 2024   3rd International Conference on IOT, Cloud and Big Data
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
CSITY 2024   10th International Conference on Computer Science, Engineering and Information Technology
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
CAV 2024   36th International Conference on Computer Aided Verification