<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><br> CALL FOR PAPERS<br><br> RV'13<br> Fourth International Conference on<br> Runtime Verification<br><br><div> *** DEADLINE EXTENSION ***</div><div><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>DEADLINE EXTENSION<br><br>The deadlines for RV'13 have been extended to *** 12 May ***.<br><br>INVITED SPEAKERS<br><br>Klaus Ostermann, University of Marburg, Germany<br>Viktor Kuncak, EPFL, Lausanne, Switzerland<br>Martin Leucker, University of Lubeck, Germany<br><br>PROGRAM COMMITTEE CO-CHAIRS<br><br>Saddek Bensalem, VERIMAG, Grenoble, France<br>Axel Legay, INRIA Rennes, France<br><br>ASSOCIATED WORKSHOP: SMC 2013<br><br>SMC 2013, the First Workshop on Statistical Model Checking, will take<br>place at INRIA Rennes, France, on 23 September 2013. The workshop is<br>associated with RV'13.<br><br>CALL FOR TUTORIALS<br><br>As with previous editions, RV'13 will host a few invited tutorials. These<br>are three-hour presentations on a selected topic. Additionally, tutorial<br>presenters will be offered to publish a paper of up to twenty pages in<br>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 presenter.<br>It must be formatted according to the Springer LNCS guidelines and not<br>exceed 2 pages. 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>CALL FOR PAPERS<br><br>RV'13 will have two paper categories: regular and tool demonstration<br>papers. Papers in both categories will be reviewed by the program<br>committee.<br><br>- Regular papers (page limit 15 pages) must present original, unpublished<br>results. Applications of runtime verification are particularly welcome.<br>- Tool demonstration papers (page limit 5 pages) should briefly introduce<br>the problem solved by the tool and give the outline of the demonstration.<br><br>The RV'13 proceedings will be published as a volume of the LNCS series<br>at Springer. Submissions must be formatted according to Springer LNCS<br>guidelines. If necessary, the submission may be supplemented with a<br>clearly marked appendix, which will be reviewed at the discretion of<br>the program committee.<br><br>Submission of papers to RV'13 is handled through EasyChair. The<br>submission link is <a href="https://www.easychair.org/conferences/?conf=rv13">https://www.easychair.org/conferences/?conf=rv13</a><br><br>IMPORTANT DATES<br><br>Abstract submission: 12 May 2013 <br>Paper submission: *** 12 May 2013 ***<br>Tutorial submission: 5 May 2013<br>Tutorial notification: 12 May 2013<br>Paper 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>ORGANIZATION CHAIR<br><br>Axel Legay, INRIA Rennes, France<br><br>CONTACT<br><br>For more information, see <a href="http://rv2013.gforge.inria.fr/">http://rv2013.gforge.inria.fr/</a><br></div></body></html>