<div dir="ltr"><br><div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">CALL FOR PARTICIPATION</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">RV’17 - RUNTIME VERIFICATION 2017</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">The 17th International Conference on Runtime Verification</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">September 13-16 2017, Seattle, WA, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><a href="http://rv2017.cs.manchester.ac.uk/">http://rv2017.cs.manchester.ac.uk</a></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Affiliated Event:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">RV-CuBES - An International Workshop on Competitions, Usability, </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== OVERVIEW ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Runtime verification is concerned with the monitoring and analysis of </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">the runtime behaviour of software and hardware systems. Runtime </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">verification techniques are crucial for system correctness, reliability, </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">and robustness; they provide an additional level of rigor and </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">effectiveness compared to conventional testing, and are generally more </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">practical than exhaustive formal verification. Runtime verification can </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">be used prior to deployment, for testing, verification, and debugging </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">purposes, and after deployment for ensuring reliability, safety, and </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">security and for providing fault containment and recovery as well as </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">online system repair. Topics of interest to the conference include:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    specification languages</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    monitor construction techniques</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    program instrumentation</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    logging, recording, and replay</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    combination of static and dynamic analysis</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    specification mining and machine learning over runtime traces</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    monitoring techniques for concurrent and distributed systems</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    runtime checking of privacy and security policies</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    statistical model checking</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    metrics and statistical information gathering</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    program/system execution visualization</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    fault localization, containment, recovery and repair</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    integrated vehicle health management (IVHM)</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Application areas of runtime verification include cyber-physical </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">systems, safety/mission-critical systems, enterprise and systems </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">software, autonomous and reactive control systems, health management and </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">diagnosis systems, and system security and privacy.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== INVITED TALKS ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Rodrigo Fonseca, Brown University, USA:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “The Design and Applications for a Tracing Plane for Distributed Systems”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Vlad Levin and Jakob Lichtenberg, Microsoft, USA:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “Windows Driver Verification Platform”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Andreas Zeller, Saarland University, Germany:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “Learning Input Languages for Runtime Verification”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== TUTORIALS ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “P : Modular and Safe Asynchronous Programming”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “Machine-learning State Properties”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Adrian Francalanza, University of Malta, Malta:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    “Foundations For Runtime Monitoring”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== ACCEPTED PAPERS ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== Regular Papers</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Bernhard K. Aichernig and Martin Tappler.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Probabilistic Black-Box Reachability Checking”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Minjun Seo and Roman Lysecky.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Systems”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">David Basin, Srđan Krstić and Dmitriy Traytel.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Almost Event-Rate Independent Monitoring of Metric Dynamic Logic”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Runtime Detection of Temporal Memory Errors”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Katarína Kejstová, Petr Ročkai and Jiri Barnat.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“From Model Checking to Runtime Verification and Back”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Zachary Benavides, Rajiv Gupta and Xiangyu Zhang.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Annotation Guided Collection of Context-Sensitive Parallel Execution </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Profiles”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Verifying Policy Enforcers”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Combining Model Checking and Runtime Verification for Safe Robotics”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Kulkarni, Eric Torng and Murat Demirbas.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Monitoring Partially Synchronous Distributed Systems using SMT Solvers”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Chaoqiang Deng and Kedar Namjoshi.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Witnessing Network Transformations”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Monitoring Time Intervals”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Bjorn Andersson, Sagar Chaki and Dionisio De Niz.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Combining Symbolic Runtime Enforcers for Cyber-Physical Systems”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Babak Yadegari and Saumya Debray.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Control Dependencies in Interpretive Systems”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Himanshu Chauhan and Vijay Garg.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Space Efficient Breadth-First and Level Traversals of Consistent Global </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">States of Parallel Programs”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Giuseppe Bombara and Calin Belta.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Signal Clustering using Temporal Logics”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Sahai.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“TeLEx: Passive STL Learning Using Only Positive Examples”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Schirmer and Christoph Torens. </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Stream Runtime Monitoring on UAVs”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Monitoring Hyperproperties”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== Tool Papers</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Hassan Salehe Matar and Serdar Tasiran.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“A Wingman for Virtual Appliances”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Shuo Chen.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“SVAuth – A Single-Sign-On Integration Solution with Runtime Verification”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Raphael Khoury, Sebastien Gaboury and Sylvain Hallé.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Event Stream Processing with Multiple Threads”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Daisuke Ishii and Alexandre Goldsztejn.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Interval Analysis”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== Short Papers</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Kim Völlinger.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Verifying the Output of a Distributed Algorithm using Certification”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Chafik Meniar, Florence Opalvens and Sylvain Hallé.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Runtime Verification of User Interface Guidelines in Mobile Devices”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Trusted Mission Operation – Concept and Implementation”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Jun Inoue and Yoriyuki Yamagata.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">“Operational Semantics of Process Monitors”</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== VENUE ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">The 17th International Conference on Runtime Verification will be held </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">in the Sheraton Seattle Hotelsituated in downtown Seattle. The venue is </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">within walking distance of the famous Pike Place Market, Seattle Art </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">weather in September still permits many open-air opportunities to shop, </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">eat, and even sail in the Elliott Bay. Exceptionally well organized, </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Seattle’s public transport connects the conference venue with the </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Seattle Center, which is the home of popular attractions like the Space </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Needle, EMP Museum, and Chihuly Garden and Glass.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== REGISTRATION ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Registration is now available using the web-based registration form, </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">with online payment on a secure website. Please use one form per </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">attendee. Early registration means on or before August 13, 2017. Late </div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">registration means after August 13, 2017.</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Different possibilities of registration are available:</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">     Tutorial Day Only (13th September): 210 USD</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">     Conference including tutorial day and RV-CuBES (13-16th September)</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">            Full Registration</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">                Early: 680 USD,</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">                Late (after 13 August): 780 USD</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">            Student Registration</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">                Early: 480 USD,</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">                Late (after 13 August): 580 USD</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== CHAIRS AND ORGANIZERS ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">General Chair</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Klaus Havelund, NASA Jet Propulsion Laboratory, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Program Chairs</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Shuvendu Lahiri, Microsoft Research, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Giles Reger, University of Manchester, UK</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Finance Chair</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Oleg Sokolsky, University of Pennsylvania, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Publicity Chair</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Ayoub Nouri, University of Grenoble Alpes, France</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">Local Organisation Chairs</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Grigory Fedyukovich, University of Washington, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Rahul Kumar, Microsoft Research, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">RV-CuBES, PC chairs</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Giles Reger, University of Manchester, UK</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">    Klaus Havelund, NASA Jet Propulsion Laboratory, USA</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">=== SPONSORS ===</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">  Microsoft</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">  Springer</div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas"><br></div><div style="color:rgb(0,0,0);font-size:14px;font-variant-ligatures:normal;font-variant-east-asian:normal;line-height:normal;font-family:Consolas">--- end --</div></div><div><br></div></div>