<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><span id="docs-internal-guid-5f542743-462a-bb69-e4a3-4eaf504ad90a" class=""><h1 dir="ltr" class="" style="line-height: 1.38; margin-top: 20pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 26.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">RV </span><span class="" style="font-family: Arial; font-size: 26.666666666666664px; font-weight: 400; white-space: pre-wrap;">2016</span></h1><h1 dir="ltr" class="" style="line-height: 1.38; margin-top: 20pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 26.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">16th International Conference on Runtime Verification</span></h1><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">September 23-30, Madrid, Spain</span></h2><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"><a href="http://rv2016.imag.fr" class="">http://rv2016.imag.fr</a></span></div><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Scope</span></h2><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:</span></div><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- specification languages</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- specification mining</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program instrumentation</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitor construction techniques</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- logging, recording, and replay</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- runtime enforcement, fault detection, localization, containment, recovery and repair</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program steering and adaptation</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- metrics and statistical information gathering</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- combination of static and dynamic analyses</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program execution visualization</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitoring techniques for safety/mission-critical systems</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitoring distributed systems, cloud services, and big data applications</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitoring security and privacy policies</span></div><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.</span></div><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Invited Speakers</span></h2><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">The program of RV 2016 will feature invited talks from:</span></div><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gul Agha (University of Illinois at Urbana-Champaign, USA)</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Oded Maler (CNRS and University of Grenoble-Alpes, France)</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Fred B. Schneider (Cornell University, USA)</span></div></li></ul><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Overview</span></h2><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).</span></div><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">General Information on Submissions</span></h2><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.</span></div><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Research Papers Track</span></h3><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. </span></div><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Regular Papers</span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"> (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. </span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"><br class="kix-line-break"></span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">The Program Committee of RV 2015 will give a </span><span class="" style="font-size: 14.666666666666666px; font-style: italic; vertical-align: baseline; white-space: pre-wrap;">best paper award</span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Short Papers</span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"> (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Papers Track</span></h3><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.</span></div><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.</span></div><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage.</span></div><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Tool papers can be submitted into two categories: </span></div><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Regular Tool Papers</span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"> (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Tool Exhibition Papers</span><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"> (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tutorial Track</span></h3><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.</span></div><br class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.</span></div><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Important Dates</span></h2><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Research and tool papers as well as tutorials will follow the following timeline:</span></div><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Abstract deadline: May 8, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Paper and tutorial deadline: May 15, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Tutorial notification: June 1, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Paper notification: July 11, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Camera ready deadline: August 8, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Summer school: September 23-25, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Workshops and tutorials: September 26-27, 2016</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Conference: September 28-30, 2016</span></div></li></ul><h2 dir="ltr" class="" style="line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;"><span class="" style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Committees</span></h2><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Program Committee Chairs</span></h3><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Yliès Falcone, Univ. Grenoble-Alpes and Inria, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Cesar Sanchez, IMDEA Software, Madrid, Spain</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Committee Chair</span></h3><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Klaus Havelund, NASA Jet Propulsion Laboratory, USA</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Local Organization Chair</span></h3><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Juan E. Tapiador, Universidad Carlos III de Madrid, Spain</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Program Committee</span></h3><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Erika Abraham, RWTH Aachen University, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Howard Barringer, The University of Manchester, UK</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Ezio Bartocci, TU Wien, Austria</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Andreas Bauer, NICTA & Australian National University, Australia</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Saddek Bensalem, Univ. Grenoble Alpes, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Borzoo Bonakdarpour, McMaster University, Canada</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Laura Bozzelli, Technical University of Madrid (UPM), Spain</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Juan Caballero, IMDEA Software Institute, Spain</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Wei-Ngan Chin, National University of Singapore, Singapore</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Christian Colombo, University of Malta, Malta</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Jyotirmoy Deshmukh, Toyota Technical Center, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Alexandre Donzé, UC Berkeley EECS Department, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Yliès Falcone, Univ. Grenoble Alpes and Inria, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernd Finkbeiner, Saarland University, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Adrian Francalanza, University of Malta, Malta</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Vijay Garg, The University of Texas at Austin, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Patrice Godefroid, Microsoft Research, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Susanne Graf, Univ. Grenoble Alpes and CNRS, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Radu Grosu, Vienna University of Technology, Austria</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Sylvain Hallé, Université du Québec à Chicoutimi, Canada</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Klaus Havelund, NASA Jet Propulsion Laboratory, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Johan Jaffar, National University of Singapore, Singapore</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Thierry Jéron, Inria Rennes – Bretagne Atlantique, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Johannes Kinder, Royal Holloway University of London, UK</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Felix Klaedtke, NEC Europe Ltd., Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Kim G. Larsen, Aalborg University, Denmark</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Axel Legay, Inria Rennes – Bretagne Atlantique, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Martin Leucker, University of Lübeck, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Benjamin Livshits, Microsoft Research, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Joao Lourenço, Universidade Nova de Lisboa, Portugal</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Rupak Majumdar, MPI-SWS, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Leonardo Mariani, University of Milano Bicocca, Italy</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">David Naumann, Stevens Institute of Technology, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Dejan Nickovic, Austrian Institute of Technology, Austria</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gordon Pace, University of Malta, Malta</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Doron Peled, Bar Ilan University, Israel</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Lee Pike, Galois, Inc., USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Grigore Rosu, University of Illinois at Urbana-Champaign, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gwen Salaün, Univ. Grenoble Alpes and Inria, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Cesar Sanchez, IMDEA Software Institute, Spain</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Sriram Sankaranarayanan, University of Colorado Boulder, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gerardo Schneider, University of Gothenburg, Sweden</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Scott Smolka, Stony Brook University, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Oleg Sokolsky, University of Pennsylvania, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernhard Steffen, University of Dortmund, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Scott Stoller, Stony Brook University, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Volder Stolz, University of Oslo, Norway</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Jun Sun, Singapore University of Technology and Design, Singapore</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Juan Tapiador, Universidad Carlos III de Madrid, Spain</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Serdar Tasiran, Koc Univ., Turkey</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Michael Whalen, University of Minnesota, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Eugen Zalinescu, ETH Zurich, Switzerland</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Lenore Zuck, University of Illinois at Chicago, USA</span></div></li></ul><h3 dir="ltr" class="" style="line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;"><span class="" style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Committee</span></h3><br class=""><ul class="" style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Steven Artz, EC Spride, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Howard Barringer, The University of Manchester, UK</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Ezio Bartocci, TU Wien, Austria</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Martin Leucker, University of Luebeck, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gordon Pace, University of Malta, Malta</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Giles Reger, The University of Manchester, UK</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Julien Signoles, CEA, France</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Oleg Sokolsky, University of Pennsylvania, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernhard Steffen, University of Dortmund, Germany</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Nikolai Tillmann, Microsoft Research, USA</span></div></li><li dir="ltr" class="" style="list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Eugen Zalinescu, ETH Zurich, Switzerland</span></div></li></ul><br class=""></span></body></html>