<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Apologies should you receive multiple copies of this email:<br><br> CALL FOR PAPERS<br><br> RV'13<br> Fourth International Conference on<br> Runtime Verification<br><br> INRIA Rennes, France<br> 24-27 September 2013<br><br> <a href="http://rv2013.gforge.inria.fr/">http://rv2013.gforge.inria.fr/</a><br><br><br>RV'13, the Fourth International Conference on Runtime Verification,<br>will take place at INRIA Rennes, France, from 24 to 27 September 2013.<br><br>IMPORTANT DATES<br><br>Abstract submission: 28 April 2013<br>Paper submission: 5 May 2013<br>Notification: 17 June 2013<br>Final version: 15 July 2013<br><br>SCOPE<br><br>Runtime verification is concerned with monitoring and analysis of soft-<br>ware and hardware system executions. Runtime verification techniques<br>are crucial for system correctness and reliability; they are signif-<br>icantly more powerful and versatile than conventional testing, and more<br>practical than exhaustive formal verification. Runtime verification can<br>be used prior to deployment, for verification and debugging purposes,<br>and after deployment for ensuring reliability, safety and security,<br>and for providing fault containment and recovery.<br><br>TOPICS<br><br>- specification languages and formalisms for traces<br>- specification mining<br>- program instrumentation<br>- monitor construction techniques<br>- logging, recording, and replay<br>- fault detection, localization, recovery and repair<br>- program steering and adaptation<br>- metrics and statistical information gathering<br>- combination of static and dynamic analyses<br>- program execution visualization<br><br>PUBLICATION<br><br>The RV'13 proceedings will be published as a volume of the LNCS series<br>at Springer. Submission of papers to RV'13 is handled through EasyChair.<br>The submission link is <a href="https://www.easychair.org/conferences/?conf=rv13">https://www.easychair.org/conferences/?conf=rv13</a><br><br>For more information, see <a href="http://rv2013.gforge.inria.fr/">http://rv2013.gforge.inria.fr/</a><br></div><div><br></div><div><br></div></body></html>