************************************************************* * * * WWV 2014 * * Automated Specification and Verification of Web Systems * * 10th International Workshop * * * * July 18th, Vienna (Austria) * * a FLoC workshop @ the Vienna Summer of Logic 2014 * * * * Call for Papers * * * ************************************************************* Homepage: http://wwv2014.isti.cnr.it/ IMPORTANT DATES Paper submission (extended) May 16, 2014 Notification of acceptance May 30, 2014 Camera ready versions June 20, 2014 Workshop WWV 2014 July 18, 2014 SCOPE The Workshop on Automated Specification and Verification of Web Systems (WWV, http://users.dsic.upv.es/grupos/elp/wwv/) is a yearly workshop that aims at providing 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. 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. Topics of either theoretical or applied interest include, but are not limited to: - Rule-based approaches to Web system analysis, certification, specification, verification and optimization - Languages and models for programming and designing Web systems - Formal methods for describing and reasoning about Web systems - Model-checking, synthesis and debugging of Web systems - Analysis and verification of linked data - Abstract interpretation and program transformation applied to the semantic Web - Middleware and frameworks for composition and orchestration of Web services - Software Product Line Engineering for Web systems - Feature-oriented modeling and variability analysis of Web systems SUBMISSION We solicit the submission of original and unpublished contributions not under review for publication elsewhere, which include full papers and short papers. - Full (regular) papers must be prepared in LaTeX using the EPTCS-style format and they should not exceed 15 pages (typeset 11 points). All accepted papers will be included in the proceedings. - Short papers are concerned with work-in-progress or tool papers and they should not exceed 6 pages. Short papers might not be included in the proceedings (a selection is invited for the proceedings). All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. Contributions should be submitted through the EasyChair online submission system in PDF format. 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 Antonio Ravara New University of Lisbon, Portugal PROGRAM COMMITTEE Maria Alpuente Universidad Politecnica de Valencia, Spain David Benavides University of Seville, Spain Mario Bravetti University of Bologna, Italy Sylvain Halle Universite du Quebec a 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 Moller Aarhus University, Denmark Gwen Salaun Inria Rhone-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 homepage: http://users.dsic.upv.es/workshops/wwv05/ 2. WWV'06 in Paphos, Cyprus; November 19, 2006 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 homepage: http://wwv08.dimi.uniud.it/ 5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009 homepage: http://www.risc.uni-linz.ac.at/about/conferences/wwv09/ 6. WWV'10 in Vienna, Austria; July 30-31, 2010 homepage: http://www.complang.tuwien.ac.at/WWV2010/ 7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec 2011) homepage: http://rap.dsi.unifi.it/wwv2011/ 8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec 2012) homepage: http://users.dsic.upv.es/~jsilva/wwv2012/ 9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec 2013) homepage: http://users.dsic.upv.es/~jsilva/wwv2013/ 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.