<div dir="ltr"><br><div><p class="gmail-p1" style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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="gmail-s1" style="border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-size:18px"><font color="#ff0000"><b>RV 2017</b></font></span></p><p class="gmail-p2" style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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="gmail-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="gmail-s2" style="border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">           </span></p><p class="gmail-p4" style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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="gmail-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="gmail-p4" style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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="gmail-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="gmail-p5" style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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="gmail-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 style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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"><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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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"><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</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">Conference: September 13-16, 2017</span></li></ul><h2 style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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"><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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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.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<br><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</p><p style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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</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://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><p style="font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;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"> </p></div></div>