<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.aqj
{mso-style-name:aqj;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222;background:white">****************************************************************************</span><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222"><br>
<span style="background:white">RV 2018</span><br>
<span style="background:white">Call for Papers</span><br>
<span style="background:white">The 18th International Conference on Runtime Verification</span><br>
<span class="aqj">November 10-13, 2018</span><span style="background:white">, Limassol, Cyprus</span><br>
</span><a href="https://rv2018.isp.uni-luebeck.de" target="_blank"><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#1155CC">https://rv2018.isp.uni-luebeck.de</span></a><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222"><br>
<span style="background:white">rv18(at)easychair(dot)org</span><br>
<span style="background:white">****************************************************************************</span><br>
<br>
<span style="background:white">Runtime verification is concerned with the monitoring and analysis of</span><br>
<span style="background:white">the runtime behaviour of software and hardware systems. Runtime</span><br>
<span style="background:white">verification techniques are crucial for system correctness, reliability,</span><br>
<span style="background:white">and robustness; they provide an additional level of rigor and</span><br>
<span style="background:white">effectiveness compared to conventional testing, and are generally more</span><br>
<span style="background:white">practical than exhaustive formal verification. Runtime verification can</span><br>
<span style="background:white">be used prior to deployment, for testing, verification, and debugging</span><br>
<span style="background:white">purposes, and after deployment for ensuring reliability, safety, and</span><br>
<span style="background:white">security and for providing fault containment and recovery as well as</span><br>
<span style="background:white">online system repair.</span><br>
<br>
<span style="background:white">Topics of interest to the conference include, but are not limited to:</span><br>
<br>
<span style="background:white">* specification languages</span><br>
<span style="background:white">* monitor construction techniques</span><br>
<span style="background:white">* program instrumentation</span><br>
<span style="background:white">* logging, recording, and replay</span><br>
<span style="background:white">* combination of static and dynamic analysis</span><br>
<span style="background:white">* specification mining and machine learning over runtime traces</span><br>
<span style="background:white">* monitoring techniques for concurrent and distributed systems</span><br>
<span style="background:white">* runtime checking of privacy and security policies</span><br>
<span style="background:white">* statistical model checking</span><br>
<span style="background:white">* metrics and statistical information gathering</span><br>
<span style="background:white">* program/system execution visualization</span><br>
<span style="background:white">* fault localization, containment, recovery and repair</span><br>
<span style="background:white">* dynamic type checking</span><br>
<br>
<span style="background:white">Application areas of runtime verification include cyber-physical</span><br>
<span style="background:white">systems, safety/mission-critical systems, enterprise and systems</span><br>
<span style="background:white">software, autonomous and reactive control systems, health management and</span><br>
<span style="background:white">diagnosis systems, and system security and privacy.</span><br>
<br>
<span style="background:white">We welcome contributions exploring the combination of runtime</span><br>
<span style="background:white">verification techniques with machine learning and static analysis.</span><br>
<span style="background:white">Whilst these are highlight topics, papers falling into these categories</span><br>
<span style="background:white">will not be treated differently from other contributions.</span><br>
<br>
<span style="background:white">An overview of previous RV conferences and earlier workshops can be</span><br>
<span style="background:white">found at:<span class="apple-converted-space"> </span></span></span><a href="http://www.runtime-verification.org" target="_blank"><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#1155CC">http://www.runtime-verification.org</span></a><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222;background:white">.</span><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222"><br>
<br>
<span style="background:white">RV 2018 will be held<span class="apple-converted-space"> </span></span><span class="aqj">November 10-13</span><span class="apple-converted-space"><span style="background:white"> </span></span><span style="background:white">in
Limassol, Cyprus. RV 2018 will</span><br>
<span style="background:white">feature a tutorial day (</span><span class="aqj">November 10</span><span style="background:white">), and three conference days</span><br>
<span style="background:white">(</span><span class="aqj">November 11-13</span><span style="background:white">).</span><br>
<br>
<span style="background:white">IMPORTANT DATES</span><br>
<br>
<span style="background:white">Papers as well as tutorial proposals will follow the following timeline</span><br>
<span style="background:white">(Anywhere on Earth):</span><br>
<br>
<span style="background:white">* Abstract deadline:<span class="apple-converted-space"> </span></span><span class="aqj">June 18, 2018</span><br>
<span style="background:white">* Paper deadline:<span class="apple-converted-space"> </span></span><span class="aqj">June 25, 2018</span><br>
<span style="background:white">* Paper notification:<span class="apple-converted-space"> </span></span><span class="aqj">September 10, 2018</span><br>
<span style="background:white">* Camera-ready deadline:<span class="apple-converted-space"> </span></span><span class="aqj">September 21, 2018</span><br>
<span style="background:white">* Conference:<span class="apple-converted-space"> </span></span><span class="aqj">November 10-13, 2018</span><br>
<br>
<span style="background:white">GENERAL INFORMATION ON SUBMISSIONS</span><br>
<br>
<span style="background:white">All accepted papers (including short papers) will appear in the</span><br>
<span style="background:white">conference proceedings in an LNCS volume. More precisely, the</span><br>
<span style="background:white">proceedings will appear within the formal methods subline of LNCS.</span><br>
<span style="background:white">Submitted papers must use the LNCS/Springer style detailed here:</span><br>
<br>
</span><a href="http://www.springer.de/comp/lncs/authors.html" target="_blank"><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#1155CC">http://www.springer.de/comp/lncs/authors.html</span></a><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222"><br>
<br>
<span style="background:white">Papers must be original work and not be submitted for publication</span><br>
<span style="background:white">elsewhere. Papers must be written in English and submitted</span><br>
<span style="background:white">electronically (in PDF format) using the EasyChair submission page here:</span><br>
<br>
</span><a href="https://easychair.org/conferences/?conf=rv18" target="_blank"><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#1155CC">https://easychair.org/conferences/?conf=rv18</span></a><span style="font-size:9.5pt;font-family:"Arial",sans-serif;color:#222222"><br>
<br>
<span style="background:white">The page limitations mentioned below include all text and figures, but</span><br>
<span style="background:white">exclude references. Additional details omitted due to space limitations</span><br>
<span style="background:white">may be included in a clearly marked appendix, that will be reviewed at</span><br>
<span style="background:white">the discretion of reviewers, but not included in the proceedings.</span><br>
<br>
<span style="background:white">At least one author of each accepted paper must attend RV 2018 for</span><br>
<span style="background:white">presentation.</span><br>
<br>
<span style="background:white">PAPER SUBMISSIONS</span><br>
<br>
<span style="background:white">There are two categories of papers which can be submitted: regular or</span><br>
<span style="background:white">short papers. Papers in each category will be reviewed by at least 3</span><br>
<span style="background:white">members of the Program Committee.</span><br>
<br>
<span style="background:white">* Regular Papers (up to 15 pages, not including references) should</span><br>
<span style="background:white">present original unpublished results. We welcome theoretical papers,</span><br>
<span style="background:white">system papers, papers describing domain-specific variants of RV, and</span><br>
<span style="background:white">case studies on runtime verification.</span><br>
<span style="background:white">* Short Papers (up to 6 pages, not including references) may present</span><br>
<span style="background:white">novel but not necessarily thoroughly worked out ideas, for example</span><br>
<span style="background:white">emerging runtime verification techniques and applications, or techniques</span><br>
<span style="background:white">and applications that establish relationships between runtime</span><br>
<span style="background:white">verification and other domains.</span><br>
<br>
<span style="background:white">The Program Committee of RV 2018 will give a best paper award, and a</span><br>
<span style="background:white">selection of accepted regular papers will be invited to appear in a</span><br>
<span style="background:white">special issue of the Springer Journal on Formal Methods in System Design.</span><br>
<br>
<span style="background:white">RELATED EVENTS</span><br>
<br>
<span style="background:white">The RV conference also includes an RV tool contest as well as an</span><br>
<span style="background:white">exhibition of industrial-strength runtime verification tools and</span><br>
<span style="background:white">approaches. Separate calls for contribution to these events will be</span><br>
<span style="background:white">issued soon.</span><br>
<br>
<span style="background:white">COMMITTEES</span><br>
<br>
<span style="background:white">General Chair</span><br>
<span style="background:white">* Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France</span><br>
<br>
<span style="background:white">Program Chairs</span><br>
<span style="background:white">* Christian Colombo, University of Malta, Malta</span><br>
<span style="background:white">* Martin Leucker, University of Lübeck, Germany</span><br>
<br>
<span style="background:white">Finance Chair</span><br>
<span style="background:white">* Violet Ka I Pun, University of Oslo, Norway</span><br>
<br>
<span style="background:white">Publicity Chair</span><br>
<span style="background:white">* Cyrille Artho, KTH Royal Institute of Technology, Sweden</span><br>
<br>
<span style="background:white">Local Organisation Chairs</span><br>
<span style="background:white">* Anna Philippou, University of Cyprus, Cyprus</span><br>
<span style="background:white">* Panagiotis Kouvaros, University of Cyprus, Cyprus</span><br>
<br>
<span style="background:white">Program Committee</span><br>
<span style="background:white">* Wolfgang Ahrendt, Chalmers University of Technology, Sweden</span><br>
<span style="background:white">* Howard Barringer, University of Manchester, United Kingdom</span><br>
<span style="background:white">* Ezio Bartocci, Vienna University of Technology, Austria</span><br>
<span style="background:white">* Andreas Bauer, KUKA Systems, Germany</span><br>
<span style="background:white">* Eric Bodden, Paderborn University, Germany</span><br>
<span style="background:white">* Borzoo Bonakdarpour, McMaster University, Canada</span><br>
<span style="background:white">* Ylies Falcone, University of Grenoble Alpes, France</span><br>
<span style="background:white">* Lu Feng, University of Virginia, USA</span><br>
<span style="background:white">* Adrian Francalanza, University of Malta</span><br>
<span style="background:white">* Jean Goubault-Larrecq, University of Paris Saclay</span><br>
<span style="background:white">* Radu Grosu, Vienna University of Technology, Austria</span><br>
<span style="background:white">* Sylvain Hallé, Université du Québec, Canada</span><br>
<span style="background:white">* Klaus Havelund, NASA, USA</span><br>
<span style="background:white">* Marieke Huisman, University of Twente, Netherlands</span><br>
<span style="background:white">* Limin Jia, Carnegie Mellon University, USA</span><br>
<span style="background:white">* Felix Klaedtke, NEC Laboratories Europe, Germany</span><br>
<span style="background:white">* Shuvendu Lahiri, Microsoft, USA</span><br>
<span style="background:white">* Kim G. Larsen, Aalborg University, Denmark</span><br>
<span style="background:white">* Insup Lee, University of Pennsylvania, USA</span><br>
<span style="background:white">* Axel Legay, Inria, France</span><br>
<span style="background:white">* David Lo, Singapore Management University, Singapore</span><br>
<span style="background:white">* Leonardo Mariani, University of Milano-Bicocca, Italy</span><br>
<span style="background:white">* Ayoub Nouri, University of Grenoble Alpes, France</span><br>
<span style="background:white">* Gordon Pace, University of Malta, Malta</span><br>
<span style="background:white">* Doron Peled, Bar Ilan University, Israel</span><br>
<span style="background:white">* Jorge A. Perez, University of Groningen, Netherlands</span><br>
<span style="background:white">* Violet Ka I Pun, University of Oslo, Norway</span><br>
<span style="background:white">* Giles Reger, University of Manchester, United Kingdom</span><br>
<span style="background:white">* Grigore Rosu, University of Illinois, USA</span><br>
<span style="background:white">* Cesar Sanchez, IMDEA Software Institute, Spain</span><br>
<span style="background:white">* Gerardo Schneider, University of Gothenburg, Sweden</span><br>
<span style="background:white">* Nastaran Shafiei, NASA, USA</span><br>
<span style="background:white">* Rahul Sharma, Stanford University, USA</span><br>
<span style="background:white">* Shin’Ichi Shiraishi, Toyota, USA</span><br>
<span style="background:white">* Julien Signoles, CEA, France</span><br>
<span style="background:white">* Scott Smolka, Stony Brook University, USA</span><br>
<span style="background:white">* Oleg Sokolsky, University of Pennsylvania, USA</span><br>
<span style="background:white">* Bernhard Steffen, University of Applied Science Dortmund, Germany</span><br>
<span style="background:white">* Scott Stoller, Stony Brook University, USA</span><br>
<span style="background:white">* Volker Stolz, Western Norway Univ. of Applied Sciences, Norway</span><br>
<span style="background:white">* Neil Walkinshaw, University of Leicester, UK</span><br>
<span style="background:white">* Chao Wang, University of Southern California, USA</span><br>
<span style="background:white">* Eugen Zalinescu, TUM, Germany</span></span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
</div>
</body>
</html>