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