<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><h1 style="margin:12px 0px;font-family:&#39;Open Sans&#39;,sans-serif;line-height:28px;color:rgb(51,51,51);font-size:26px;text-align:center"><span style="font-family:verdana,geneva;font-size:16px;font-weight:normal;line-height:18px;text-align:justify">[Apologizes for duplicates]</span><br>

</h1><h1 style="margin:12px 0px;font-family:&#39;Open Sans&#39;,sans-serif;line-height:28px;color:rgb(51,51,51);font-size:26px;text-align:center">14th International Conference on<br>Runtime Verification<br>

September 22 &ndash; 25, 2014<br><span style="font-size:14pt;font-family:verdana,geneva"><span style="font-size:14pt"></span></span><strong><span style="font-size:18pt">Toronto, Canada</span></strong></h1><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:center">



<span style="font-size:12pt"><a href="http://rv2014.imag.fr/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">http://rv2014.imag.fr/</a></span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:center">



<a href="http://rv2014.imag.fr/images/CfP.pdf" style="color:rgb(0,136,204);text-decoration:none" target="_blank"><img src="http://rv2014.imag.fr/images/pdf.jpg" alt="" width="33" height="33" style="max-width:100%;vertical-align:middle;border:0px"></a></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:14pt;font-family:verdana,geneva"><span style="font-size:14pt;color:rgb(0,51,102)">Scope:</span></span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva">Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:</span></p>



<ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;list-style-type:square"><li><span style="font-size:12pt;font-family:verdana,geneva">specification languages<ins datetime="2013-09-17T23:25"></ins></span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">specification mining</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">program instrumentation</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">monitor construction techniques</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">logging, recording, and replay</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">fault detection, localization, containment, recovery and repair</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">program steering and adaptation</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">metrics and statistical information gathering</span></li>


<li>
<span style="font-size:12pt;font-family:verdana,geneva">combination of static and dynamic analyses</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">program execution visualization</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">monitoring techniques for safety/mission-critical systems</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">monitoring distributed systems, cloud services, and big data applications</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">monitoring security and privacy policies</span></li>



</ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva">Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software,&nbsp;<ins datetime="2013-09-17T23:33"></ins>autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)">Technical Research Papers Track:</span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva">Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an&nbsp;<a href="http://www.springer.com/series/558" style="color:rgb(0,136,204);text-decoration:none" target="_blank">LNCS</a>&nbsp;volume. Submitted papers must use the&nbsp;<a href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0" style="color:rgb(0,136,204);text-decoration:none" target="_blank">LNCS style</a>. At least one author of each accepted paper must attend RV&rsquo;14 to present the paper. Papers must be submitted electronically using the<a href="https://www.easychair.org/conferences/?conf=rv2014" style="color:rgb(0,136,204);text-decoration:none" target="_blank">EasyChair</a>&nbsp;system.<br>



<br></span></p><ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><li style="text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><strong><i>Regular papers</i></strong>&nbsp;(up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.<br>



</span></li></ul><ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><li style="text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><strong><i>Short papers</i></strong>&nbsp;(up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions.</span></li>



</ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:14pt;color:rgb(0,51,102)"><span style="font-family:verdana,geneva">Program&nbsp;committee</span></span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva"><a href="https://cs.uwaterloo.ca/~bbonakda/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Borzoo Bonakdarpour</a>&nbsp;(University of Waterloo, Canada),&nbsp;<strong>co-chair</strong><br>



</span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.sunysb.edu/~sas/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Scott Smolka</a>&nbsp;(Stony Brook Universtiy, USA),&nbsp;<span style="font-size:12pt"><strong>co-chair</strong></span><br>



</span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva"><a href="http://cs.illinois.edu/directory/profile/agha" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Gul Agha</a>&nbsp;(University of Illinois at Urbana-Champaign, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://research.microsoft.com/en-us/people/tball/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Thomas Ball</a>&nbsp;(Microsoft Research, Redmond, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.manchester.ac.uk/research/howard.barringer" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Howard Barringer</a>&nbsp;(The University of Manchester, UK)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.eziobartocci.com/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Ezio Bartocci</a>&nbsp;(TU Wien, Austria)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.inf.ethz.ch/personal/basin/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">David Basin</a>&nbsp;(ETH Zurich, Switzerland)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www-verimag.imag.fr/~bensalem/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Saddek Bensalem</a>&nbsp;(Verimag, France)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.bodden.de/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Eric Bodden</a>&nbsp;(TU &ndash; Darmstadt, Germany)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.infosys.tuwien.ac.at/staff/ivona/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Ivona Brandic</a>&nbsp;(TU Wien, Austria)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.toronto.edu/~chechik/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Marsha Chechik</a>&nbsp;(University of Toronto, Canada)&nbsp;&nbsp;&nbsp;&nbsp;</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://faculty.cs.gwu.edu/~clarkson/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Michael Clarkson</a>&nbsp;(George Washington University, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cse.msu.edu/~ldillon/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Laura Dillon</a>&nbsp;(Michigan State University, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.bgu.ac.il/~dolev/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Shlomi Dolev</a>&nbsp;(Ben Gurion University, Israel)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.doc.ic.ac.uk/~afd/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Alastair Donaldson</a>&nbsp;(Imperial College London, UK)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.stanford.edu/~engler/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Dawson Engler</a>&nbsp;(Stanford University, USA)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.ylies.fr/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Ylies Falcone</a>&nbsp;(Université Joseph Fourier, France)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://users.ece.utexas.edu/~garg/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Vijay Garg</a>&nbsp;(University of Texas at Austin, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://cse.unl.edu/~goddard/papers.html" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Steve Goddard</a>&nbsp;(University of Nebraska-Lincoln, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.utah.edu/~ganesh/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Ganesh Gopalakrishnan</a>&nbsp;(University of Utah, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva">Wolfgang Grieskamp (Google, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.sunysb.edu/~grosu/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Radu Grosu</a>&nbsp;(TU- Wien, Austria)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.havelund.com/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Klaus Havelund</a>&nbsp;(NASA/JPL, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.umsec.umn.edu/about/director" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Mats Heimdahl</a>&nbsp;(University of Minnesota, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.sable.mcgill.ca/~hendren/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Laurie Hendren</a>&nbsp;(McGill University, Canada)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://lars-lab.jpl.nasa.gov/people/gh.html" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Gerard Holzmann</a>&nbsp;(NASA/JPL, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.haifa.ac.il/~dkeren/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Daniel Keren</a>&nbsp;(Haifa University, Israel)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cse.msu.edu/~sandeep/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Sandeep Kulkarni&nbsp;</a>(Michigan State University, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.ox.ac.uk/marta.kwiatkowska/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Marta Kwiatkowska</a>&nbsp;(University of Oxford, UK)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cis.upenn.edu/~lee/home/home/index.shtml" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Insup Lee</a>&nbsp;(University of Pennsylvania, USA)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://people.irisa.fr/Axel.Legay/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Axel Legay</a>&nbsp;(IRISA/INRIA, France)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.isp.uni-luebeck.de/leucker/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Martin&nbsp;&nbsp;&nbsp; Leucker</a>&nbsp;(University of Lübeck, Germany)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Leonardo Mariani</a>&nbsp;(University of Milano Bicocca, Italy)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://fsl.cs.illinois.edu/index.php/Patrick_Meredith" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Patrick Meredith</a>&nbsp;(University of Illinois at Urbana-Champaign, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.stevens.edu/~naumann/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">David Naumann</a>&nbsp;(Stevens Institute of Technology, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://u.cs.biu.ac.il/~doronp/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Doron Peled</a>&nbsp;(Bar Ilan University, Israel)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.inf.usi.ch/personal-info?id=1187" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Mauro Pezze</a>&nbsp;(University of Lugano, Switzerland)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.indiana.edu/~lepike/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Lee Pike</a>&nbsp;(Galois Inc., USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.zvonimir.info/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Zvonimir Rakamaric</a>&nbsp;(University of Utah, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://fsl.cs.illinois.edu/index.php/Grigore_Rosu" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Grigore Rosu</a>&nbsp;(University of Illinois at Urbana-Champaign, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www7.in.tum.de/~rybal/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Andrey Rybalchenko</a>&nbsp;(TU-Munich, Germany)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://people.epfl.ch/andre.schiper?lang=fr" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Andre Schiper</a>&nbsp;(EPFL, Switzerland)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cis.upenn.edu/~sokolsky/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Oleg Sokolsky</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Pennsylvania, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.sunysb.edu/~stoller/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Scott Stoller</a>&nbsp;(Stony Brook University, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://home.ku.edu.tr/~stasiran/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Serdar&nbsp;&nbsp;&nbsp; Tasiran</a>&nbsp;(Koc University, Turkey)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.umsec.umn.edu/directory/Michael-Whalen" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Michael Whalen</a>&nbsp;(University of Minnesota, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva"><a href="http://www.cs.uic.edu/~lenore/" style="color:rgb(0,136,204);text-decoration:none" target="_blank">Lenore Zuck</a>&nbsp;(University of Illinois at Chicago, USA)</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)">Tool Demonstrations Track</span><span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)">:</span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva;color:rgb(0,51,102)"><span style="color:rgb(51,51,51)"><span style="font-size:10pt"><span style="font-size:12pt">The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV&rsquo;14 to present the paper.</span>&nbsp;</span>Papers must be submitted electronically using the</span>&nbsp;<a href="https://www.easychair.org/conferences/?conf=rv2014" style="color:rgb(0,136,204);text-decoration:none" target="_blank">EasyChair</a>&nbsp;<span style="color:rgb(51,51,51)">system.</span></span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-size:12pt;font-family:verdana,geneva">Tool papers should meet the following criteria:</span></p>



<ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify;list-style-type:square"><li><span style="font-size:12pt;font-family:verdana,geneva">A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format.</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><span style="font-size:12pt"></span></span><span style="font-size:12pt;font-family:verdana,geneva">Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper).</span><span style="font-size:12pt;font-family:verdana,geneva"></span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><span style="font-size:12pt"></span></span><span style="font-size:12pt;font-family:verdana,geneva">The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.</span><span style="font-size:12pt;font-family:verdana,geneva"></span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool&rsquo;s capabilities, highlighting the main characteristics and the usage.</span><span style="font-size:12pt;font-family:verdana,geneva"></span></li>



</ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)">Evaluation</span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva">Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include:</span></p><ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px">



<li><span style="font-size:12pt;font-family:verdana,geneva">the presentation quality</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">the availability (possibly in a open-source format) of the software.</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">the relevance for the Runtime Verification audience</span></li><li><span style="font-size:12pt;font-family:verdana,geneva">the technical soundness of the presented tool</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva">the originality of the underlying ideas</span></li></ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px">



&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify"><span style="font-family:verdana,geneva;font-size:14pt;color:rgb(0,51,102)">Tool Demonstration Committee</span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><span style="font-size:12pt;font-family:verdana,geneva">Ezio Bartocci, (TU-Vienna, Austria),&nbsp;<strong>Chair</strong><br>



<span style="font-size:12pt">Eric Bodden (TU &ndash; Darmstadt, Germany)</span><span style="font-size:12pt"><br><span style="font-size:12pt">Alastair Donaldson (Imperial College London, UK)</span></span><strong><i><br></i></strong><span style="font-size:12pt">Dawson Engler (Stanford University, USA)</span><strong><i><br>



</i></strong></span><span style="font-size:12pt;font-family:verdana,geneva">Ylies Falcone (Université Joseph Fourier, France)<br>Klaus Havelund (NASA/JPL, USA)<br></span><span style="font-size:12pt;font-family:verdana,geneva">Michael Whalen (University of Minnesota, USA)</span><span style="font-size:12pt;font-family:verdana,geneva"></span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="color:rgb(0,51,102);font-size:14pt;font-family:verdana,geneva">Important Dates:<br></span></p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva">Both research papers and tool demonstration tracks will follow the following timeline:</span></p><ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px">



<li style="text-align:justify"><span style="font-size:12pt"><strong>Abstract deadline:</strong>&nbsp;April 8, 2014</span></li><li style="text-align:justify"><span style="font-size:12pt"><strong>Full paper deadline:</strong>&nbsp;April 15, 2014</span></li>



<li style="text-align:justify"><span style="font-size:12pt"><strong>Rebuttal phase:</strong>&nbsp;May 18-20, 2014</span></li><li style="text-align:justify"><span style="font-size:12pt"><strong>Acceptance notification:</strong>&nbsp;June 10, 2014</span></li>



<li style="text-align:justify"><span style="font-size:12pt"><strong>Camera ready submission:</strong>&nbsp;June 25, 2014</span></li><li style="text-align:justify"><span style="font-size:12pt"><strong>Conference dates:</strong>&nbsp;22-25 September, 2014</span></li>



</ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;</p><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)"><span style="background-image:none;background-repeat:repeat repeat">Competition on Software for Runtime Verification (CSRV-2014)</span></span><span style="font-size:14pt;font-family:verdana,geneva;color:rgb(0,51,102)"></span></p>



<p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">&nbsp;<span style="font-size:12pt;font-family:verdana,geneva">A satellite event of RV&rsquo;14 is the first&nbsp;<i>International Competition on Software for Runtime Verification</i>&nbsp;(CRVS&rsquo;14).&nbsp;<span style="color:black">The main aims of CSRV-2014 competition are to:</span></span></p>



<ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><li style="color:black;text-align:justify;vertical-align:baseline">



<span style="font-size:12pt;font-family:verdana,geneva">Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones.</span></li><li style="color:black;text-align:justify;vertical-align:baseline">



<span style="font-size:12pt;font-family:verdana,geneva">Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes.</span></li>



<li style="color:black;text-align:justify;vertical-align:baseline"><span style="font-size:12pt;font-family:verdana,geneva">Discuss the metrics employed for comparing the tools.</span></li><li style="color:black;text-align:justify;vertical-align:baseline">



<span style="font-size:12pt;font-family:verdana,geneva">Provide a comparison of the tools running with different benchmarks and evaluating using different criteria.</span></li><li style="color:black;text-align:justify;vertical-align:baseline">



<span style="font-size:12pt;font-family:verdana,geneva">Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring.</span></li>



</ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify;vertical-align:baseline"><span style="font-size:12pt;font-family:verdana,geneva;color:black">CRVS&rsquo;14 will follow the following time line:</span></p>



<ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><li><span style="font-size:12pt;font-family:verdana,geneva"><strong>Declaration of intent:</strong>&nbsp;December 15, 2013</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><strong>Deadline for submission of benchmarks:</strong>&nbsp;March 1, 2014</span></li><li><span style="font-size:12pt;font-family:verdana,geneva"><strong>Monitoring tool submission:</strong>&nbsp;June 1, 2014</span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><strong>Notification:</strong>&nbsp;July 1, 2014</span></li></ul><p style="margin:0px 0px 9px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px;text-align:justify">



<span style="font-size:12pt;font-family:verdana,geneva">For more information, visit&nbsp;<a href="http://rv2014.imag.fr/monitoring-competition" style="color:rgb(0,136,204);text-decoration:none" target="_blank">http://rv2014.imag.fr/monitoring-competition</a>&nbsp;or contact the event organizers:</span></p>



<ul style="padding:0px;margin:0px 0px 9px 25px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,Arial,sans-serif;font-size:13px;line-height:18px"><li><span style="font-size:12pt;font-family:verdana,geneva"><strong><i>Ezio Bartocci</i></strong>&nbsp;(TU-Wien, Austria),&nbsp;<a style="color:rgb(0,136,204)"></a><a href="mailto:ezio.bartocci@tuwien.ac.at" style="color:rgb(0,136,204);text-decoration:none" target="_blank">ezio.bartocci@tuwien.ac.at</a></span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><a style="color:rgb(0,136,204);text-decoration:none"></a><strong><i>Borzoo Bonakdarpour</i></strong>&nbsp;(U. Waterloo, Canada),&nbsp;<a style="color:rgb(0,136,204)"></a><a href="mailto:borzoo@cs.uwaterloo.ca" style="color:rgb(0,136,204);text-decoration:none" target="_blank">borzoo@cs.uwaterloo.ca</a></span></li>



<li><span style="font-size:12pt;font-family:verdana,geneva"><a style="color:rgb(0,136,204);text-decoration:none"></a></span><span style="font-size:12pt;font-family:verdana,geneva"><strong><i>Ylies Falcone</i></strong>&nbsp;(U. Joseph Fourier, France),&nbsp;<a href="mailto:ylies.falcone@ujf-grenoble.fr" style="color:rgb(0,136,204);text-decoration:none" target="_blank">ylies.falcone@ujf-grenoble.fr</a></span></li>



</ul></div>
<br></div>
<br></div>
<br></div>