<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div> CALL FOR TUTORIALS<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>CALL FOR TUTORIALS<br><br>As with previous editions, RV'13 will host tutorials. These are three-hour </div><div>presentations on a selected topic. Additionally, tutorial presenters will be </div><div>offered to publish a paper of up to twenty pages in the LNCS conference proceedings.<br><br>A proposal for a tutorial must contain the subject of the tutorial, a<br>proposed timeline, a note on previous similar tutorials (if applicable)<br>and the differences to this incarnation, and a biography of the<br>presenter. It must be formatted according to the Springer LNCS guide-<br>lines and not exceed 2 pages.<br><br>IMPORTANT DATES<br><br>Tutorial submission: 5 May 2013<br>Notification: 12 May 2013<br>Final version: 7 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. To submit a tutorial, send an email to<br><a href="mailto:rv2013-info@lists.gforge.inria.fr">rv2013-info@lists.gforge.inria.fr</a><br><br>For more information, see <a href="http://rv2013.gforge.inria.fr/">http://rv2013.gforge.inria.fr/</a><br></div></body></html>