<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>