<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; font-size: 14px; font-family: Calibri, sans-serif;">
<span id="docs-internal-guid-d5c5b844-c455-bfa4-bda7-c221deeb32a0">
<p dir="ltr" style="color: rgb(0, 0, 0); line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<br>
</p>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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; color: rgb(17, 85, 204); text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;">http://rv2017.cs.manchester.ac.uk</span></a></p>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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; color: rgb(17, 85, 204); text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;">http://easychair.org/smart-program/RV2017/</span></a></p>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); 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); 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); 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); 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); 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); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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="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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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="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); 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); 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); 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); 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); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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); 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); background-color: rgb(255, 255, 255); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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); 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>
<br>
<p dir="ltr" style="color: rgb(0, 0, 0); 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>
<br>
</span>
</body>
</html>