<div dir="ltr"><div> *****************************************************************************</div><div> * *</div>
<div> * WWV 2013 *</div><div> * Automated Specification and Verification of Web Systems *</div><div> * 9th International Workshop *</div>
<div> * Call for Papers *</div><div> * *</div><div>
*****************************************************************************</div><div><br></div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Abstract Submission March 22, 2013</div><div>
Full Paper Submission March 29, 2013</div><div>Acceptance Notification May 3, 2013</div><div>Camera Ready (pre-proceedings) May 20, 2013</div><div>Workshop<span class="" style="white-space:pre"> </span> June 6, 2013</div>
<div>Camera Ready (post-proceedings) June 26, 2013</div><div><br></div><div><br></div><div><br></div><div>SCOPE</div><div><br></div><div>The Workshop on Automated Specification and Verification of Web Systems (WWV,</div>
<div><a href="http://users.dsic.upv.es/grupos/elp/wwv/">http://users.dsic.upv.es/grupos/elp/wwv/</a>) is a yearly workshop that aims at</div><div>providing an interdisciplinary forum to facilitate the cross-fertilization </div>
<div>and the advancement of hybrid methods that exploit concepts and tools drawn </div><div>from Rule-based programming, Software engineering, Formal methods and </div><div>Web-oriented research.</div><div><br></div><div>
Nowadays, many companies and institutions have diverted their Web sites into</div><div>interactive, completely-automated, Web-based applications for, e.g., e-business,</div><div>e-learning, e-government and e-health. The increased complexity and the explosive</div>
<div>growth of Web systems has made their design and implementation a challenging task.</div><div>Systematic, formal approaches to their specification and verification can permit</div><div>to address the problems of this specific domain by means of automated and</div>
<div>effective techniques and tools.</div><div><br></div><div>Topics of either theoretical or applied interest include, but are not limited to:</div><div>- Rule-based approaches to Web system analysis, certification, specification,</div>
<div> verification, and optimization.</div><div>- Languages and models for programming and designing Web systems.</div><div>- Formal methods for describing and reasoning about Web systems.</div><div>- Model-checking, synthesis and debugging of Web systems.</div>
<div>- Analysis and verification of linked data.</div><div>- Abstract interpretation and program transformation applied to the semantic Web.</div><div>- Intelligent tutoring and advisory systems for Web specifications authoring.</div>
<div>- Middleware and frameworks for composition and orchestration of Web services.</div><div>- Web quality and Web metrics.</div><div>- Web usability and accessibility.</div><div>- Testing and evaluation of Web systems and applications.</div>
<div><br></div><div><br></div><div><br></div><div>AUDIENCE</div><div><br></div><div>Participation to WWV is open. The workshop is intended for, but not limited to,</div><div>researchers from the communities of Rule-based programming, Software engineering,</div>
<div>Formal methods and Web-oriented research.</div><div><br></div><div><br></div><div><br></div><div>SUBMISSION </div><div><br></div><div>Submitted papers should present original unpublished work and cannot be under</div>
<div>review for publication elsewhere. Each paper will undergo a thorough evaluation </div><div>by at least three reviewers, chosen by the Program Committee. </div><div>Contributions should be submitted through the EasyChair online submission system</div>
<div>in PDF format, and should be prepared in LaTeX using the EPTCS-style format and</div><div>should not exceed 15 pages (typeset 11 points).</div><div>Submission is a firm commitment that at least one of the authors will attend the</div>
<div>workshop, if the paper is accepted.</div><div><br></div><div><br></div><div><br></div><div>PUBLICATION </div><div><br></div><div>Accepted papers will be included in the pre-proceedings, which will be made</div><div>
available in electronic form through the WWV web site. </div>
<div>After the workshop, authors of accepted papers will be asked to prepare, by</div><div>incorporating insights gathered during the event, a final version of their paper</div><div>to be published in the post-proceedings.</div>
<div><br></div><div>We plan to publish the workshop post-proceedings as a volume of the EPTCS series.</div><div><br></div><div><br></div><div><br></div><div>STEERING COMMITTEE</div><div><br></div><div>Maria Alpuente Technical University of Valencia, Spain (co-Chair)</div>
<div>Demis Ballis University of Udine, Italy</div><div>Santiago Escobar Technical University of Valencia, Spain</div><div>Moreno Falaschi University of Siena, Italy (co-Chair)</div><div>Laura Kovacs Vienna University of Technology, Austria</div>
<div>Temur Kutsia Johannes Kepler University Linz, Austria</div><div>Massimo Marchiori University of Padova, Italy</div><div>Rosario Pugliese University of Florence, Italy</div><div>Josep Silva Technical University of Valencia, Spain</div>
<div>Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy</div><div><br></div><div><br></div><div>WORKSHOP CO-CHAIRS</div><div><br></div><div>Antònio Ravara New University of Lisbon, Portugal</div><div>Josep Silva <span class="" style="white-space:pre"> </span> Universidad Politécnica de Valencia, Spain</div>
<div><br></div><div><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Jesús Almendros University of Almeria, Spain</div><div>Maria Alpuente <span class="" style="white-space:pre"> </span> Universitat Politècnica de València, Spain</div>
<div>Demis Ballis <span class="" style="white-space:pre"> </span> University of Udine, Italy</div><div>Daniela Da Cruz Universidade do Minho, Portugal</div><div>Raymond Hu <span class="" style="white-space:pre"> </span> Imperial College London, United Kingdom</div>
<div>Ivan Lanese <span class="" style="white-space:pre"> </span> University of Bologna/INRIA, Italy</div><div>Anders Møller <span class="" style="white-space:pre"> </span> Aarhus University, Denmark</div><div>Elie Najm <span class="" style="white-space:pre"> </span> Telecom ParisTech, France</div>
<div>Kostis Sagonas <span class="" style="white-space:pre"> </span> University of Uppsala, Sweden</div><div>Francesco Tiezzi IMT, Institute for Advanced Studies Lucca, Italy</div><div>Emilio Tuosto <span class="" style="white-space:pre"> </span> University of Leicester, United Kingdom</div>
<div><br></div><div><br></div><div><br></div><div>WORKSHOP FORMAT</div><div><br></div><div>One full day meeting, including 1 or 2 invited talks and about 8 refereed</div><div>contributions. </div><div><br></div><div><br>
</div>
<div><br></div><div>PAST WORKSHOP EDITIONS</div><div><br></div><div>Started in 2005, the series of this workshop established itself as a lively,</div><div>friendly event with many interactions and discussions.</div><div>
<br>
</div><div>1. WWV'05 in Valencia, Spain; March 14-15, 2005</div><div>homepage: <a href="http://users.dsic.upv.es/workshops/wwv05/">http://users.dsic.upv.es/workshops/wwv05/</a></div><div><br></div><div>2. WWW'06 in Paphos, Cyprus; November 19, 2006</div>
<div>homepage: <a href="http://users.dsic.upv.es/workshops/wwv06/">http://users.dsic.upv.es/workshops/wwv06/</a></div><div><br></div><div>3. WWV'07 in Venice, Italy; December 14, 2007</div><div>homepage: <a href="http://wwv07.dimi.uniud.it/">http://wwv07.dimi.uniud.it/</a></div>
<div><br></div><div>4. WWV'08 in Siena, Italy; July 4, 2008</div><div>homepage: <a href="http://wwv08.dimi.uniud.it/">http://wwv08.dimi.uniud.it/</a></div><div><br></div><div>5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009</div>
<div>homepage: <a href="http://www.risc.uni-linz.ac.at/about/conferences/wwv09/">http://www.risc.uni-linz.ac.at/about/conferences/wwv09/</a></div><div><br></div><div>6. WWV'10 in Vienna, Austria; July 30-31, 2010 </div>
<div>homepage: <a href="http://www.complang.tuwien.ac.at/WWV2010/">http://www.complang.tuwien.ac.at/WWV2010/</a></div><div><br></div><div>7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec 2011)</div>
<div>
homepage: <a href="http://rap.dsi.unifi.it/wwv2011/">http://rap.dsi.unifi.it/wwv2011/</a></div><div><br></div><div>8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec 2012)</div><div>homepage: <a href="http://users.dsic.upv.es/~jsilva/wwv2012/">http://users.dsic.upv.es/~jsilva/wwv2012/</a></div>
<div><br></div><div>The previous 7 editions of WWV attracted high quality papers that were published</div><div>in ENTCS (WWV'05, WWV'07, WWV'08), IEEE (WWV'06) and EPTCS (WWV'11,WWV'12). </div><div>
After WWV'09, a special issue of the Journal of Symbolic Computation on the topics</div><div>of the WWV has been organized. Similarly, a special issue of the Journal of</div><div>Applied Logic has been organized after WWV'10, and a special issue of the Journal</div>
<div>of Logic and Algebraic Programming is being organized after WWV'11 and WWV'12.</div><div><br></div></div>