<div dir="ltr"><br><div><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">CALL FOR PARTICIPATION</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">RV’17 - RUNTIME VERIFICATION 2017</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">The 17th International Conference on Runtime Verification</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">September 13-16 2017, Seattle, WA, USA</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Website:
</span><a href="http://rv2017.cs.manchester.ac.uk/" style="text-decoration:none"><span style="font-size:10pt;font-family:Consolas;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://rv2017.cs.manchester.ac.uk</span></a></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Program:
</span><a href="http://easychair.org/smart-program/RV2017/" style="text-decoration:none"><span style="font-size:10pt;font-family:Consolas;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://easychair.org/smart-program/RV2017/</span></a></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Affiliated Event:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"> RV-CuBES - An International Workshop on Competitions, Usability,
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"> Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== Early Registration and Accommodation Deadline ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"><font color="#ff0000"><b>*** August 13 ***</b></font></span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== OVERVIEW ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Runtime verification is concerned with the monitoring and analysis of
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">the runtime behaviour of software and hardware systems. Runtime
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">verification techniques are crucial for system correctness, reliability,
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">and robustness; they provide an additional level of rigor and
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">effectiveness compared to conventional testing, and are generally more
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">practical than exhaustive formal verification. Runtime verification can
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">be used prior to deployment, for testing, verification, and debugging
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">purposes, and after deployment for ensuring reliability, safety, and
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">security and for providing fault containment and recovery as well as
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">online system repair. Topics of interest to the conference include:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   specification languages</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   monitor construction techniques</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   program instrumentation</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   logging, recording, and replay</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   combination of static and dynamic analysis</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   specification mining and machine learning over runtime traces</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   monitoring techniques for concurrent and distributed systems</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   runtime checking of privacy and security policies</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   statistical model checking</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   metrics and statistical information gathering</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   program/system execution visualization</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   fault localization, containment, recovery and repair</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   integrated vehicle health management (IVHM)</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Application areas of runtime verification include cyber-physical
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">systems, safety/mission-critical systems, enterprise and systems
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">software, autonomous and reactive control systems, health management and
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">diagnosis systems, and system security and privacy.</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== INVITED TALKS ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Rodrigo Fonseca, Brown University, USA:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “The Design and Applications for a Tracing Plane for Distributed Systems”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Vlad Levin and Jakob Lichtenberg, Microsoft, USA:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “Windows Driver Verification Platform”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Andreas Zeller, Saarland University, Germany:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “Learning Input Languages for Runtime Verification”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== TUTORIALS ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “P : Modular and Safe Asynchronous Programming”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “Machine-learning State Properties”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Adrian Francalanza, University of Malta, Malta:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   “Foundations For Runtime Monitoring”</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== VENUE ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">The 17th International Conference on Runtime Verification will be held
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">within walking distance of the famous Pike Place Market, Seattle Art
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">weather in September still permits many open-air opportunities to shop,
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">eat, and even sail in the Elliott Bay. Exceptionally well organized,
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Seattle’s public transport connects the conference venue with the
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Seattle Center, which is the home of popular attractions like the Space
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Needle, EMP Museum, and Chihuly Garden and Glass.</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== REGISTRATION ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Registration is available using the web-based registration form,
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">with online payment on a secure website. Please use one form per
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">attendee. Early registration means on or before August 13, 2017. Late
</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">registration means after August 13, 2017.</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Different possibilities of registration are available:</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"></span><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"><span class="gmail-Apple-tab-span" style="white-space:pre"></span></span><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Tutorial
 Day Only (13th September): 210 USD</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"></span><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"><span class="gmail-Apple-tab-span" style="white-space:pre"></span></span><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Conference
 including tutorial day and RV-CuBES (13-16th September)</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">           Full Registration</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">               Early: 680 USD,</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">               Late (after 13 August): 780 USD</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">           Student Registration</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">               Early: 480 USD,</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">               Late (after 13 August): 580 USD</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== Program Committee ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Wolfgang Ahrendt</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">, Chalmers
 Univ. of Technology/Univ. of Gothenburg, Sweden</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Cyrille Artho</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">,
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">KTH Royal Institute of Technology, Sweden</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Howard Barringer,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">The University of Manchester, UK</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Ezio Bartocci,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Vienna University of Technology, Austria</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Andreas Bauer,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">KUKA Systems, Germany</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Saddek Bensalem,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">VERIMAG (University of Grenoble Alpes), France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Eric Bodden, Paderborn University / Fraunhofer IEM, Germany</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Borzoo Bonakdarpour, McMaster University, Canada</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Christian Colombo,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Malta, Malta</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Ylies Falcone,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Grenoble Alpes, France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Grigory Fedyukovich,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Washington, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Lu Feng,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Virginia, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Patrice Godefroid,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Microsoft Research, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Jean Goubault-Larrecq,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">CNRS & ENS de Cachan, France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Alex Groce,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Northern Arizona University, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Radu Grosu,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Vienna University of Technology, Austria</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Sylvain Hallé,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Québec at Chicoutimi, Canada</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Marieke Huisman, University of Twente, Netherlands</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Franjo Ivancic,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Google, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Bengt Jonsson,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Uppsala University, Sweden</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Felix Klaedtke,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">NEC Europe Ltd.</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Rahul Kumar,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Microsoft Research, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Kim Larsen,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Aalborg University, Denmark</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Insup Lee,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Pennsylvania, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Axel Legay,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Inria Rennes, France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Martin Leucker,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Lübeck, Germany</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Ben Livshits,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Imperial College, UK</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">David Lo,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Singapore Management University, Singapore</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Francesco Logozzo,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Facebook, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Parthasarathy Madhusudan,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Illinois at Urbana-Champaign, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Leonardo Mariani, University of Milan Bicocca, Italy</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Madan Musuvathi,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Microsoft Research, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Ayoub Nouri,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Grenoble Alpes, France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Gordon Pace,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Malta, Malta</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Doron Peled,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Bar Ilan University, Israel</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Grigore Rosu,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Illinois at Urbana-Champaign, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Veselin Raychev,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">ETH Zurich, Switzerland</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Cesar Sanchez,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">IMDEA Software Institute, Spain</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Gerardo Schneider,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Rahul Sharma,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Microsoft Research, India</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Julien Signoles,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">CEA LIST, France</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Scott Smolka,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Stony Brook University, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Oleg Sokolsky,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Pennsylvania, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Bernhard Steffen,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Dortmund, Germany</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Scott Stoller</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">,
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Stony Brook University, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Volker Stolz,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Western Norway University of Applied Sciences, Norway</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Frits Vaandrager,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Radboud University, Netherlands</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Neil Walkinshaw,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Leicester, UK</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Chao Wang,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">University of Southern California, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Eugen Zalinescu,</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">
</span><span style="font-size:10pt;font-family:Consolas;color:rgb(64,64,64);vertical-align:baseline;white-space:pre-wrap">Technische Universitat München, Germany</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== CHAIRS AND ORGANIZERS ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">General Chair</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Klaus Havelund, NASA Jet Propulsion Laboratory, USA</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Program Chairs</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Shuvendu Lahiri, Microsoft Research, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Giles Reger, University of Manchester, UK</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Finance Chair</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Oleg Sokolsky, University of Pennsylvania, USA</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Publicity Chair</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Ayoub Nouri, University of Grenoble Alpes, France</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">Local Organisation Chairs</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Grigory Fedyukovich, University of Washington, USA</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Rahul Kumar, Microsoft Research, USA</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">RV-CuBES, PC chairs</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Giles Reger, University of Manchester, UK</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">   Klaus Havelund, NASA Jet Propulsion Laboratory, USA</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">=== SPONSORS ===</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"> Microsoft</span></p><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"> Springer</span></p><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><br style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal"><p dir="ltr" style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap">--- end --</span></p></div><div><span style="font-size:10pt;font-family:Consolas;vertical-align:baseline;white-space:pre-wrap"><br></span></div></div>