<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; font-family: Calibri, sans-serif; color: rgb(0, 0, 0); font-size: 14px;">
<div>
<p class="p1" style="border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s1" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; font-size: 16px;"><b><font color="#ff0000">RV 2017</font></b></span></p>
<p class="p2" style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s1" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Call for Papers and Tutorials</b></span><span class="s2" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">           </span></p>
<p class="p4" style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s1" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">          The 17th International Conference on Runtime Verification</span></p>
<p class="p4" style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s1" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">          September 13-16, Seattle, WA, USA</span></p>
<p class="p5" style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s3" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://rv2017.cs.manchester.ac.uk/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">http://rv2017.cs.manchester.ac.uk</a></span></p>
<p class="p6" style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline; text-align: center;">
<span class="s3" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="mailto:rv2017@easychair.org" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">rv2017@easychair.org</a></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems.
 Runtime verification techniques are crucial for system correctness, reliability, and robustness; they p</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">rovide an
 additional level of rigor and effectiveness compared to conventional testing</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">, and are generally 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. </span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Topics of interest to the conference include, but are not limited to:</span></p>
<ul style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 20px 3em; outline: 0px; padding: 0px; vertical-align: baseline; list-style-position: initial; list-style-image: initial;">
<li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">specification languages</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">monitor construction techniques</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">program instrumentation</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">logging, recording, and replay</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">combination of static and dynamic analysis</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">specification mining and machine learning over runtime traces</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
monitoring techniques for concurrent and distributed systems</li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
runtime checking of privacy and security policies</li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
statistical model checking</li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">metrics and statistical information gathering</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">program/system execution visualization</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">fault localization, containment, recovery and repair</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">integrated vehicle health management (IVHM)</span></li></ul>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and
 systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis.
 Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions.</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">An overview of previous RV conferences and earlier workshops can be found at: <a href="http://www.runtime-verification.org/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">http://www.runtime-verification.org</a>.</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three
 conference days (September 14-16).</span></p>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Important Dates</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<b>Papers</b><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"> as well as </span><b>tutorial proposals</b><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"> will
 follow the following timeline:</span></p>
<ul style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 20px 3em; outline: 0px; padding: 0px; vertical-align: baseline; list-style-position: initial; list-style-image: initial;">
<li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Abstract deadline: April 24, 2017 (Anywhere on Earth)</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Tutorial notification: May 21, 2017</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Paper notification: June 26, 2017<br>
</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
Camera-ready deadline: July 24, 2017</li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Conference: September 13-16, 2017</span></li></ul>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Invited Speakers</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
We are very pleased to confirm the following invited speakers for RV 2017:</p>
<ul style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 20px 3em; outline: 0px; padding: 0px; vertical-align: baseline; list-style: none;">
<a href="http://cs.brown.edu/~rfonseca/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">
<p style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
</p>
</a>
<li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<a href="http://cs.brown.edu/~rfonseca/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Rodrigo Fonseca</a>, Brown University, USA<a href="https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/static-and-dynamic-verification-tools" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Vlad
 Levin and Jakob Lichtenberg</a>, Microsoft Research, USA</li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<a href="https://www.st.cs.uni-saarland.de/zeller/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Andreas Zeller</a>, Saarland University, Germany</li></ul>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">General Information on Submissions</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must
 use the LNCS/Springer style detailed here:</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<a href="http://www.springer.de/comp/lncs/authors.html" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">http://www.springer.de/comp/lncs/authors.html</span></a></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted
 electronically (in PDF format) using the EasyChair submission page here:</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<a href="https://easychair.org/conferences/?conf=rv17" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">https://easychair.org/conferences/?conf=rv17</span></a></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due
 to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings.</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">At least one author of each accepted paper and tutorial must attend RV 2017 to present. </span></p>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Paper Submissions</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will
 be reviewed by at least 3 members of the Program Committee.</span></p>
<ul style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 20px 3em; outline: 0px; padding: 0px; vertical-align: baseline; list-style-position: initial; list-style-image: initial;">
<li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><strong style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Regular
 Papers</strong> (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification.</span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><strong style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Short
 Papers</strong> (up to 6 pages, not including references) 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. </span></li><li style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><strong style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Tool
 Demonstration Papers</strong> (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. 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></li></ul>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited
 to appear in a special issue of the Springer Journal on <a href="http://link.springer.com/journal/10703" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Formal
 Methods in System Design</a>.</span></p>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Tutorial Submissions</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to
 publish a paper of up to 20 pages in the LNCS conference proceedings, </span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">not including references</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">.</span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials
 (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. </span></p>
<h2 style="font-size: 20px; color: rgb(64, 64, 64); border: 0px; font-family: Georgia, 'Times New Roman', serif; font-weight: inherit; margin: 40px 0px 10px; outline: 0px; padding: 0px; vertical-align: baseline; clear: both; line-height: 28px;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Organization</span></h2>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>General Chair</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<a href="http://www.havelund.com/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Klaus Havelund</a>, NASA Jet Propulsion Laboratory, USA</p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Program Chairs</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<a href="https://www.microsoft.com/en-us/research/people/shuvendu/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Shuvendu Lahiri</a>, Microsoft Research,
 USA<br>
<a href="http://www.cs.man.ac.uk/~regerg/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Giles Reger</a>, University of Manchester, UK</p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Finance Chair</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<a href="http://www.cis.upenn.edu/~sokolsky/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Oleg Sokolsky</a>, University of Pennsylvania, USA</p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Publicity Chair</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<a href="http://www-verimag.imag.fr/~nouri/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Ayoub Nour</a>i, University of Grenoble Alpes, France</p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Local Organisation Chairs</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<a href="http://homes.cs.washington.edu/~grigory/about.html" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Grigory Fedyukovich</a>, University of
 Washington, USA<br>
<a href="http://rahulku.com/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Rahul Kumar</a>, Microsoft Research, USA</p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-size: 14px; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><b>Program Committee</b></span></p>
<p style="font-size: 13px; color: rgb(64, 64, 64); border: 0px; font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; margin: 0px 0px 1.5em; outline: 0px; padding: 0px 0px 0px 30px; vertical-align: baseline;">
<span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.cse.chalmers.se/~ahrendt/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Wolfgang
 Ahrendt</a>, </span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden<br>
</span><a href="https://people.kth.se/~artho/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Cyrille</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Artho</span></a>, <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">KTH
 Royal Institute of Technology, Sweden<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.manchester.ac.uk/research/Howard.barringer/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Howard
 Barringer</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">The University of Manchester, UK<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.eziobartocci.com/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Ezio
 Bartocci</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Vienna University of Technology, Austria<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.immerundewig.at/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Andreas
 Bauer</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">KUKA Systems, Germany<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www-verimag.imag.fr/~bensalem/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Saddek
 Bensalem</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">VERIMAG (University of Grenoble Alpes), France<br>
<a href="http://www.bodden.de/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Eric Bodden</a>, Fraunhofer SIT and Technische University Darmstadt,
 Germany<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.cas.mcmaster.ca/borzoo/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Borzoo
 Bonakdarpour</a></span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">, McMaster University, Canada<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.um.edu.mt/ict/cs/staff/christian_colombo" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Christian
 Colombo</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Malta, Malta<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.ylies.fr/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Ylies
 Falcone</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Grenoble Alpes, France<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://homes.cs.washington.edu/~grigory/about.html" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Grigory
 Fedyukovich</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Washington, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.cs.virginia.edu/~lufeng/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Lu
 Feng</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Virginia, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://patricegodefroid.github.io/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Patrice Godefroid</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Microsoft
 Research, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.lsv.ens-cachan.fr/~goubault/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Jean
 Goubault-Larrecq</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">CNRS</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"> & </span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">ENS</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"> de
 Cachan</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">, France<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://eecs.oregonstate.edu/people/groce-alex" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Alex
 Groce</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Northern Arizona University, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://ti.tuwien.ac.at/cps/people/grosu" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Radu
 Grosu</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Vienna University of Technology, Austria<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://leduotang.ca/sylvain/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Sylvain
 Hallé</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Québec at Chicoutimi</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">,
 Canada<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://wwwhome.ewi.utwente.nl/~marieke/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Marieke
 Huisman</a>, University of Twente, Netherlands</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://sites.google.com/site/ivancic/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Franjo
 Ivancic</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Google<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://user.it.uu.se/~bengt/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Bengt
 Jonsson</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Uppsala University, Sweden<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://sites.google.com/site/felixklaedtkeshomepage/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Felix
 Klaedtke</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">NEC Europe Ltd.<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://rahulku.com/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Rahul
 Kumar</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Microsoft Research, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://people.cs.aau.dk/~kgl/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Kim
 Larsen</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Aalborg University, Denmark<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.cis.upenn.edu/~lee/home/home/index.shtml" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Insup
 Lee</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Pennsylvania, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://people.irisa.fr/Axel.Legay/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Axel
 Legay</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Inria Rennes, France<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.isp.uni-luebeck.de/leucker" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Martin
 Leucker</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Lübeck, Germany<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://research.microsoft.com/en-us/um/people/livshits/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Ben
 Livshits</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Microsoft Research, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.mysmu.edu/faculty/davidlo/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">David
 Lo</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Singapore Management University, Singapore<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.linkedin.com/in/francesco-logozzo-4106386" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Francesco
 Logozzo</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Facebook</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://madhu.cs.illinois.edu/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Parthasarathy
 Madhusudan</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Illinois at Urbana-Champaign, USA<br>
<a href="http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Leonardo
 Mariani</a>, University of Milan Bicocca, Italy<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.microsoft.com/en-us/research/people/madanm/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Madanlal
 Musuvathi</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Microsoft Research<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www-verimag.imag.fr/~nouri/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Ayoub
 Nouri</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Grenoble Alpes, France<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.cs.um.edu.mt/gordon.pace/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Gordon
 Pace</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Malta, Malta<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://u.cs.biu.ac.il/~doronp/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Doron
 Peled</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Bar Ilan University, Israel<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://fsl.cs.illinois.edu/index.php/Grigore_Rosu" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Grigore
 Rosu</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Illinois at Urbana-Champaign, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.srl.inf.ethz.ch/raychev.php" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Veselin
 Raychev</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">ETH Zurich, Switzerland<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://software.imdea.org/~cesar/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Cesar
 Sanchez</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">IMDEA Software Institute, Spain<br>
</span><a href="http://www.cse.chalmers.se/~gersch/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Gerardo
 Schneider,</span></a> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://cs.stanford.edu/people/sharmar/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Rahul
 Sharma</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Microsoft Research, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://julien.signoles.free.fr/index.en.html" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Julien
 Signoles</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">CEA LIST, France<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www3.cs.stonybrook.edu/~sas/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Scott
 Smolka</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Stony Brook University, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="https://www.cis.upenn.edu/~sokolsky/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Oleg
 Sokolsky</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Pennsylvania, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Bernhard
 Steffen</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Dortmund, Germany<br>
</span><a href="http://www3.cs.stonybrook.edu/~stoller/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Scott
 Stoller</span></a>, <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Stony Brook University, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.mn.uio.no/ifi/personer/vit/stolz/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Volker
 Stolz</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Olso, Norway<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www.cs.ru.nl/~fvaan/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Frits
 Vaandrager</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Radboud University, Netherlands<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Neil
 Walkinshaw</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Leicester, UK<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www-bcf.usc.edu/~wang626/" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Chao
 Wang</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">University of Southern California, USA<br>
</span><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><a href="http://www2.in.tum.de/hp/Main?nid=315" style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; color: rgb(17, 123, 184);">Eugen
 Zalinescu</a>,</span> <span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Technische Universitat München, Germany</span></p>
</div>
<div style="font-size: 14px; color: rgb(0, 0, 0);"><span style="border: 0px; font-family: inherit; font-style: inherit; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline;"><br>
</span></div>
</body>
</html>