Automated Specification and Verification of Web Systems


10th International Workshop

July 18th, Vienna, Austria


a FLoC workshop @ Vienna Summer of Logic 2014


WWV 2014 | Important dates | Invited speakers | Program Committee | Steering Committee | Submission | Program | Registration | Venue and travel | VSL 2014

SCOPE

The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from rule-based programming, formal methods, software engineering and Web-oriented research. Celebrating its 10th edition this year, the WWV workshop series has established itself as a lively, friendly event with many interactions and discussions.

Nowadays, many companies and institutions have diverted their Web sites into interactive, completely automated, Web-based applications for areas such as e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems has made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools.

IMPORTANT DATES

Paper submission (extended) May 2, 2014 May 16, 2014
Notification of acceptance May 30, 2014
Camera ready versions June 20, 2014
Workshop WWV 2014 July 18, 2014

TOPICS OF INTEREST

Topics of either theoretical or applied interest include, but are not limited to:

SUBMISSION

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.

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.

WORKSHOP CO-CHAIRS

Maurice ter Beek ISTI-CNR, Pisa, Italy
António Ravara New University of Lisbon, Portugal

PROGRAM COMMITTEE

Maria Alpuente Technical University of Valencia, Spain
David Benavides University of Seville, Spain
Mario Bravetti University of Bologna, Italy
Sylvain Hallé Université du Québec à Chicoutimi, Canada
Raymond Hu Imperial College London, United Kingdom
Atsushi Igarashi Kyoto University, Japan
Laura Kovacs Vienna University of Technology, Austria
Ana Almeida Matos Instituto Superior Tecnico de Lisboa, Portugal
Anders Møller Aarhus University, Denmark
Gwen Salaün Inria Rhône-Alpes, Grenoble, France
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
Emilio Tuosto University of Leicester, United Kingdom
Erik de Vink Eindhoven University of Technology, The Netherlands

STEERING COMMITTEE

Maria Alpuente Technical University of Valencia, Spain (co-chair)
Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain
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

INVITED SPEAKERS

Josep Silva Technical University of Valencia, Spain
Steve Ross-Talbot Cognizant Technology Solutions, United Kingdom

PAST EDITIONS

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
  3. WWV'07 in Venice, Italy; December 14, 2007
  4. WWV'08 in Siena, Italy; July 4, 2008
  5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009
  6. WWV'10 in Vienna, Austria; July 30-31, 2010
  7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec 2011)
  8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec 2012)
  9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec 2013)

The previous 9 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 and WWV'13). 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.