<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 18px; font-family: Calibri, sans-serif; "><div><br></div><div><span class="Apple-style-span" style="font-size: 15px; font-family: Calibri, Verdana, Helvetica, Arial; ">----------------------------------------------------------------------<br> CALL FOR PAPERS<br> *** DEADLINE EXTENSION : March 25 ***</span></div><div><span class="Apple-style-span" style="font-size: 15px; font-family: Calibri, Verdana, Helvetica, Arial; "><br> 3rd ICAPS Workshop on<br> Verification and Validation of<br> Planning and Scheduling Systems<br> (VVPS’11)<br><br> <font color="#0000FF"><u><a href="http://icaps11.informatik.uni-freiburg.de/workshops/vvps.html">http://icaps11.informatik.uni-freiburg.de/workshops/vvps.html</a><br></u></font><br> Freiburg, Germany, June 13, 2011<br>----------------------------------------------------------------------<br><br><br>Topic and Objectives:<br><br>Planning and scheduling (P&S) systems are finding increased<br>application in safety- and mission-critical systems that require a high level of<br>assurance. However, tools and methodologies for verification and validation<br>(V&V) of P&S systems have received relatively little attention. Therefore,<br>important goals of the workshop are (i) to encourage the ongoing interaction<br>between V&V and P&S communities, (ii) to identify innovative tools<br>and methodologies (iii) and to elicit open issues and real challenges.<br><br>The workshop also aims to enhance a stable, long-term establishment<br>of a forum on relevant topics connected to the influence between V&V and<br>P&S. The workshop series began in 2005 with the first edition of the<br>workshop (<font color="#0000FF"><u><a href="http://planning.cis.strath.ac.uk/vvpsws/">http://planning.cis.strath.ac.uk/vvpsws/</a></u></font>) during ICAPS '05 and<br>continued in 2009 with the second edition (<font color="#0000FF"><u><a href="http://www-vvps09.imag.fr/">http://www-vvps09.imag.fr/</a></u></font>) during ICAPS<br>'09. These workshops presented a stimulating environment where researchers<br>could discuss about the opportunities and challenges in integrating V&V and<br>P&S.<br><br>Topics of interest include: V&V of domain models, using technologies<br>such as static analysis, theorem proving, and model checking; consistency and<br>completeness of domain models; domain model coverage metrics; regression, <br>stress and boundary testing; runtime verification of plan executions; generation <br>of robust plans; compositional verification of domain models; how to structure domain<br>models which are more amenable to static analysis; inspection methods; the<br>relationship between timed automata and domain models; investigations of the impact<br>wrt. V&V of procedural versus declarative plan models; application of P&S<br>techniques to V&V; Planning as model checking; etc.<br><br><br>Important Dates:<br><br>Paper submission: March 25, 2011 **<span style="font-weight: bold"> extended deadline </span>**<br>Notification of acceptance/rejection: April 15, 2011<br>Workshop Date: June 13, 2011 <br><br><br>Submissions:<br><br>There are two types of submissions: short position statements and regular papers. <br>Position papers are a maximum of 2 (two) pages. Regular papers are a maximum of 10 (ten) <br>pages. Papers should be submitted via the VVPS EasyChair website: <br><br> <font color="#0000FF"><u><a href="http://www.easychair.org/conferences/?conf=vvps11">http://www.easychair.org/conferences/?conf=vvps11</a></u></font> <br><br>All papers should be typeset in the AAAI style, described at: <br><br> <font color="#0000FF"><u><a href="http://www.aaai.org/Publications/Author/author.php">http://www.aaai.org/Publications/Author/author.php</a></u></font> <br><br>Accepted papers will be published on the workshop website and printed as a hard-copy.<br><br>A selection of the accepted papers will be published in a special issue of the <br>International Journal on Software Tools for Technology Transfer:<br><font color="#0000FF"><u><a href="http://sttt.cs.uni-dortmund.de/index.html">http://sttt.cs.uni-dortmund.de/index.html</a></u></font>.<br><br>Any additional questions can be directed towards the general workshop<br>contact email: <font color="#0000FF"><u><a href="applewebdata://035FBE01-1835-4FB0-A70D-E89D73990B3E/vvps11@easychair.org">vvps11@easychair.org</a><br></u></font><br><br>Organization Chairs:<br><br>Saddek Bensalem,<br>VERIMAG, France<br><font color="#0000FF"><u><a href="applewebdata://035FBE01-1835-4FB0-A70D-E89D73990B3E/saddek.bensalem@imag.fr">saddek.bensalem@imag.fr</a><br></u></font><br>Klaus Havelund,<br>NASA JPL, U.S.A.<br><font color="#0000FF"><u><a href="applewebdata://035FBE01-1835-4FB0-A70D-E89D73990B3E/klaus.havelund@jpl.nasa.gov">klaus.havelund@jpl.nasa.gov</a><br></u></font><br>Andrea Orlandini<br>ITIA-CNR, Italy<br><font color="#0000FF"><u><a href="applewebdata://035FBE01-1835-4FB0-A70D-E89D73990B3E/andrea.orlandini@itia.cnr.it">andrea.orlandini@itia.cnr.it</a><br></u></font><br>Programme Committee:<br><br>Howard Barringer (University of Manchester, UK)<br>Andreas Bauer (NICTA, Australia)<br>Saddek Bensalem (Verimag/UJF, France) (Co-Chair)<br>Amedeo Cesta (ISTC-CNR, Rome, Italy)<br>Alessandro Cimatti (FBK, Trento, Italy)<br>Alexandre David (Aalborg University, Denmark)<br>Giuseppe Della Penna (University of L'Aquila, L'Aquila, Italy)<br>Lucas Dixon (University of Edinburgh, Edinburgh, UK)<br>Bernd Finkbeiner (Saarland University, Germany)<br>Alberto Finzi (University of Naples, Naples, Italy)<br>Maria Fox (University of Strathclyde, UK)<br>Dimitra Giannakopoulou (NASA Ames Research Center, USA)<br>Enrico Giunchiglia (University of Genova, Italy)<br>Alex Groce (Oregon State University, USA)<br>Klaus Havelund (JPL, USA) (Co-Chair)<br>Gerard Holzmann (JPL, USA)<br>Felix Ingrand (LAAS-CNRS, France)<br>Hadas Kress-Gazit (Cornell University, USA)<br>Kim G. Larsen (Aalborg University, Denmark)<br>Martin Leucker Technische Universität München, Germany)<br>Lee McCluskey (University of Huddersfield, UK)<br>David Musliner (SIFT, USA)<br>Andrea Orlandini (ITIA-CNR, Milan, Italy) (Co-Chair)<br>Corina Pasareanu (NASA Ames Research Center, USA)<br>Charles Pecheur (Université catholique de Louvain, Belgium)<br>Paul Pettersson (Malardalen University, Sweden)<br>Douglas Smith (Kestrel Institute, USA)</span></div><div><span class="Apple-style-span" style="font-size: 15px; font-family: Calibri, Verdana, Helvetica, Arial; "><br></span></div></body></html>