<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; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">

<div>

<h1 dir="ltr" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 20pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 26.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">RV </span><span style="font-family: Arial; font-size: 26.666666666666664px; font-weight: 400; white-space: pre-wrap;">2016</span></h1>

<h1 dir="ltr" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 20pt; margin-bottom: 6pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"><a href="http://rv2016.imag.fr/" target="_blank" style="color: rgb(17, 85, 204);">http://rv2016.imag.fr</a></span></div>

<h2 dir="ltr" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Scope</span></h2>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- specification languages</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- specification mining</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program instrumentation</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitor construction techniques</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- logging, recording, and replay</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program steering and adaptation</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- metrics and statistical information gathering</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- combination of static and dynamic analyses</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- program execution visualization</span></div>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">- monitoring security and privacy policies</span></div>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Invited Speakers</span></h2>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Overview</span></h2>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Research Papers Track</span></h3>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Regular Papers</span><span 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 style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;"><br>

</span><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">The Program Committee of RV 2015 will give a

</span><span style="font-size: 14.666666666666666px; font-style: italic; vertical-align: baseline; white-space: pre-wrap;">best paper award</span><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Short Papers</span><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Papers Track</span></h3>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Regular Tool Papers</span><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; font-weight: 700; vertical-align: baseline; white-space: pre-wrap;">Tool Exhibition Papers</span><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt; text-align: justify;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tutorial Track</span></h3>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Important Dates</span></h2>

<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Abstract deadline: May 8, 2016</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Tutorial notification: June 1, 2016</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Paper notification: July 11, 2016</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Camera ready deadline: August 8, 2016</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Summer school: September 23-25, 2016</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;">

<span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Conference: September 28-30, 2016</span></div>

</li></ul>

<h2 dir="ltr" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 18pt; margin-bottom: 6pt; text-align: justify;">

<span style="font-size: 21.333333333333332px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Committees</span></h2>

<h3 dir="ltr" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Program Committee Chairs</span></h3>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Committee Chair</span></h3>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Local Organization Chair</span></h3>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Program Committee</span></h3>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Erika Abraham, RWTH Aachen University, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Ezio Bartocci, TU Wien, Austria</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Saddek Bensalem, Univ. Grenoble Alpes, France</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Borzoo Bonakdarpour, McMaster University, Canada</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Juan Caballero, IMDEA Software Institute, Spain</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Christian Colombo, University of Malta, Malta</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Jyotirmoy Deshmukh, Toyota Technical Center, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernd Finkbeiner, Saarland University, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Adrian Francalanza, University of Malta, Malta</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Patrice Godefroid, Microsoft Research, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Felix Klaedtke, NEC Europe Ltd., Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Kim G. Larsen, Aalborg University, Denmark</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Benjamin Livshits, Microsoft Research, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Rupak Majumdar, MPI-SWS, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gordon Pace, University of Malta, Malta</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Doron Peled, Bar Ilan University, Israel</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Lee Pike, Galois, Inc., USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Cesar Sanchez, IMDEA Software Institute, Spain</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gerardo Schneider, University of Gothenburg, Sweden</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Scott Smolka, Stony Brook University, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Oleg Sokolsky, University of Pennsylvania, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernhard Steffen, University of Dortmund, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Scott Stoller, Stony Brook University, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Volder Stolz, University of Oslo, Norway</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Serdar Tasiran, Koc Univ., Turkey</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Michael Whalen, University of Minnesota, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Eugen Zalinescu, ETH Zurich, Switzerland</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="color: rgb(34, 34, 34); font-family: arial, sans-serif; line-height: 1.38; margin-top: 16pt; margin-bottom: 4pt;">

<span style="font-size: 18.666666666666664px; font-family: Arial; font-weight: 400; vertical-align: baseline; white-space: pre-wrap;">Tool Committee</span></h3>

<br style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px;">

<ul style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; margin-top: 0pt; margin-bottom: 0pt;">

<li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Steven Artz, EC Spride, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Ezio Bartocci, TU Wien, Austria</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Martin Leucker, University of Luebeck, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Gordon Pace, University of Malta, Malta</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span 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" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Julien Signoles, CEA, France</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Oleg Sokolsky, University of Pennsylvania, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Bernhard Steffen, University of Dortmund, Germany</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Nikolai Tillmann, Microsoft Research, USA</span></div>

</li><li dir="ltr" style="margin-left: 15px; list-style-type: disc; font-size: 14.666666666666666px; font-family: Arial; vertical-align: baseline;">

<div style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 14.666666666666666px; vertical-align: baseline; white-space: pre-wrap;">Eugen Zalinescu, ETH Zurich, Switzerland</span></div>

</li></ul>

</div>

</body>

</html>