<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&#39;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&#39;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&#39;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&#39;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&#39;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&#39;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&#39;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&#39;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&#39;05, WWV&#39;07, WWV&#39;08), IEEE (WWV&#39;06) and EPTCS (WWV&#39;11,WWV&#39;12). </div><div>

After WWV&#39;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&#39;10, and a special issue of the Journal</div>

<div>of Logic and Algebraic Programming is being organized after WWV&#39;11 and WWV&#39;12.</div><div><br></div></div>