<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">Dear Moderator,</span><br style="font-family:arial,sans-serif;font-size:12.800000190734863px"><br style="font-family:arial,sans-serif;font-size:12.800000190734863px">

<span style="font-family:arial,sans-serif;font-size:12.800000190734863px">Find attached the Call for Papers of the 9th International Workshop on Automated Specification and Verification of Web Systems, that we think would be of interest for your mailing list subscribers (we have had submissions about functional languages </span><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">in previous years).</span><br style="font-family:arial,sans-serif;font-size:12.800000190734863px">

<br style="font-family:arial,sans-serif;font-size:12.800000190734863px"><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">Would you please </span><span class="" style="font-family:arial,sans-serif;font-size:12.800000190734863px">post</span><span style="font-family:arial,sans-serif;font-size:12.800000190734863px"> it as soon as ossible? Thank you in advance.</span><br style="font-family:arial,sans-serif;font-size:12.800000190734863px">

<br style="font-family:arial,sans-serif;font-size:12.800000190734863px"><span style="font-family:arial,sans-serif;font-size:12.800000190734863px">Yours sincerely,</span><br style="font-family:arial,sans-serif;font-size:12.800000190734863px">

<font face="arial, sans-serif">-. Josep Silva .-</font><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif"><br></font><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif"><div>

      ************************************************************************</div><div>      *                                                                                                         *</div><div>      *                                           WWV 2013                                          *</div>

<div>      *                            9th International Workshop on                        *<br></div><div>      *  Automated Specification and Verification of Web Systems  *</div><div>      *                                                                                                          *</div>

<div>      *                                June 6th, Firenze (Italy)                                *</div><div>      *                                                                                                          *</div>

<div>      *                                       Call for Papers                                         *</div><div>      *                                                                                                          *</div>

<div>      *************************************************************************</div><div><br></div><div>Homepage: <a href="http://users.dsic.upv.es/~jsilva/wwv2013/">http://users.dsic.upv.es/~jsilva/wwv2013/</a></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>INVITED SPEAKERS</div><div><br></div><div>Gerhard Friedrich   Universität Klagenfurt, Austria</div><div>François Taïani<span class="" style="white-space:pre">        </span>    Université de Rennes 1, France</div>

<div><br></div><div><br></div><div>WORKSHOP FORMAT</div><div><br></div><div>One full day meeting, including 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></font></div></div></div>