<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><br>
</div>
<div><span style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 12.499999046325684px; background-color: rgb(255, 255, 255);">[Our apologies for duplicates]</span>
<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 12.499999046325684px;">
<span class="il" style="font-size: 12.499999046325684px;"><br>
</span></div>
<div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 12.499999046325684px;">
<span class="il" style="font-size: 12.499999046325684px;">RV</span><span style="font-size: 12.499999046325684px;"> </span><span class="il" style="font-size: 12.499999046325684px;">2016</span><br>
<div>16th International Conference on Runtime Verification<br>
<span class="aBn" data-term="goog_944322405" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">September
23</span></span>-<span class="aBn" data-term="goog_944322406" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">30</span></span>,
Madrid, Spain<br>
<br>
<a href="http://rv2016.imag.fr/" target="_blank" style="color: rgb(17, 85, 204);">http://rv2016.imag.fr</a><br>
<br>
<br>
= Scope<br>
<br>
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:<br>
<br>
- specification languages<br>
- specification mining<br>
- program instrumentation<br>
- monitor construction techniques<br>
- logging, recording, and replay<br>
- runtime enforcement, fault detection, localization, containment, recovery and repair<br>
- program steering and adaptation<br>
- metrics and statistical information gathering<br>
- combination of static and dynamic analyses<br>
- program execution visualization<br>
- monitoring techniques for safety/mission-critical systems<br>
- monitoring distributed systems, cloud services, and big data applications<br>
- monitoring security and privacy policies<br>
<br>
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.<br>
<br>
<br>
= Invited Speakers<br>
<br>
The program of <span class="il">RV</span> <span class="il">2016</span> will feature invited talks from:<br>
<br>
Gul Agha (University of Illinois at Urbana-Champaign, USA)<br>
Oded Maler (CNRS and University of Grenoble-Alpes, France)<br>
Fred B. Schneider (Cornell University, USA)<br>
<br>
<br>
= Overview<br>
<br>
<span class="il">RV</span> <span class="il">2016</span> will be held <span class="aBn" data-term="goog_944322407" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">September
23</span></span>-<span class="aBn" data-term="goog_944322408" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">30</span></span> in
Madrid, Spain. <span class="il">RV</span> <span class="il">2016</span> will feature the first summer school on Runtime Verification (<span class="aBn" data-term="goog_944322409" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">September
23-25</span></span>), two workshop days (September 26-25), and three conference days (September 28-<span class="aBn" data-term="goog_944322411" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">30</span></span>).<br>
<br>
<br>
= General Information on Submissions<br>
<br>
All <span class="il">papers</span> and tutorials will appear in the conference proceedings in an LNCS volume. Submitted <span class="il">papers</span> and tutorials must use the LNCS/Springer style. At least one author of each accepted <span class="il">paper</span> and
tutorial must attend <span class="il">RV</span> <span class="il">2016</span> to present the <span class="il">paper</span>. <span class="il">Papers</span> 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.<br>
<br>
— Research <span class="il">Papers</span> Track<br>
<br>
Research <span class="il">papers</span> can be submitted in two categories: regular and short <span class="il">papers</span>. <span class="il">Papers</span> in both categories will be reviewed by at least 3 members of the Program Committee. <br>
<br>
* Regular <span class="il">Papers</span> (up to 15 pages) should present original unpublished results. Theoretical <span class="il">papers</span>, system and application <span class="il">papers</span> as well as case studies on runtime verification are all
welcome. <br>
The Program Committee of <span class="il">RV</span> 2015 will give a best <span class="il">paper</span> award. A selection of accepted regular <span class="il">papers</span> will be invited to appear in a special issue of the Springer Journal on Formal Methods
in System Design.<br>
<br>
* Short <span class="il">Papers</span> (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 <span class="il">papers</span> will be presented in special talk (15 minutes) and poster sessions.<br>
<br>
— Tool <span class="il">Papers</span> Track<br>
<br>
The aim of the <span class="il">RV</span> <span class="il">2016</span> 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 <span class="il">papers</span> will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool <span class="il">paper</span> should give a 15-20 minutes demonstration during the conference.<br>
<br>
All tool <span class="il">papers</span> 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.<br>
<br>
</div>
<div>We encourage tool <span class="il">papers</span> 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.<br>
<br>
Tool <span class="il">papers</span> can be submitted into two categories: <br>
<br>
* Regular Tool <span class="il">Papers</span> (up to 8 pages). A tool <span class="il">paper</span> 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 <span class="il">paper</span> form.<br>
<br>
</div>
<div>* Tool Exhibition <span class="il">Papers</span> (up to 4 pages). A tool <span class="il">paper</span> in this category can have been previously published. A tool <span class="il">paper</span> in this category should be oriented towards the tool usage
and is an opportunity for the developers to present them at <span class="il">RV</span> <span class="il">2016</span>.<br>
<br>
<br>
— Tutorial Track<br>
<br>
Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a <span class="il">paper</span> of up to 20 pages in the LNCS conference proceedings.<br>
<br>
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.<br>
<br>
<br>
= Important Dates<br>
<br>
Research and tool <span class="il">papers</span> as well as tutorials will follow the following timeline:<br>
<br>
Abstract deadline: <span class="aBn" data-term="goog_944322412" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">May
8, <span class="il">2016</span></span></span><br>
<span class="il">Paper</span> and tutorial deadline: <span class="aBn" data-term="goog_944322413" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">May
15, <span class="il">2016</span></span></span><br>
Tutorial notification: <span class="aBn" data-term="goog_944322414" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">June
1, <span class="il">2016</span></span></span><br>
<span class="il">Paper</span> notification: <span class="aBn" data-term="goog_944322415" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">July
11, <span class="il">2016</span></span></span><br>
Camera ready deadline: <span class="aBn" data-term="goog_944322416" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">August
8, <span class="il">2016</span></span></span><br>
Summer school: <span class="aBn" data-term="goog_944322417" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">September
23-25, <span class="il">2016</span></span></span><br>
Workshops and tutorials: <span class="aBn" data-term="goog_944322419" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">September
26-27, <span class="il">2016</span></span></span><br>
Conference: September 28-<span class="aBn" data-term="goog_944322420" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0;"><span class="aQJ" style="position: relative; top: 2px; z-index: -1;">30, <span class="il">2016</span></span></span><br>
<br>
<br>
= Committees<br>
<br>
— Program Committee Chairs<br>
<br>
Yliès Falcone, Univ. Grenoble-Alpes and Inria, France<br>
Cesar Sanchez, IMDEA Software, Madrid, Spain<br>
<br>
— Tool Committee Chair<br>
<br>
Klaus Havelund, NASA Jet Propulsion Laboratory, USA<br>
<br>
— Local Organization Chair<br>
<br>
Juan E. Tapiador, Universidad Carlos III de Madrid, Spain<br>
<br>
— Program Committee<br>
<br>
Erika Abraham, RWTH Aachen University, Germany<br>
Howard Barringer, The University of Manchester, UK<br>
Ezio Bartocci, TU Wien, Austria<br>
Andreas Bauer, NICTA & Australian National University, Australia<br>
Saddek Bensalem, Univ. Grenoble Alpes, France<br>
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany<br>
Borzoo Bonakdarpour, McMaster University, Canada<br>
Laura Bozzelli, Technical University of Madrid (UPM), Spain<br>
Juan Caballero, IMDEA Software Institute, Spain<br>
Wei-Ngan Chin, National University of Singapore, Singapore<br>
Christian Colombo, University of Malta, Malta<br>
Jyotirmoy Deshmukh, Toyota Technical Center, USA<br>
Alexandre Donzé, UC Berkeley EECS Department, USA<br>
Yliès Falcone, Univ. Grenoble Alpes and Inria, France<br>
Bernd Finkbeiner, Saarland University, Germany<br>
Adrian Francalanza, University of Malta, Malta<br>
Vijay Garg, The University of Texas at Austin, USA<br>
Patrice Godefroid, Microsoft Research, USA<br>
Susanne Graf, Univ. Grenoble Alpes and CNRS, France<br>
Radu Grosu, Vienna University of Technology, Austria<br>
Sylvain Hallé, Université du Québec à Chicoutimi, Canada<br>
Klaus Havelund, NASA Jet Propulsion Laboratory, USA<br>
Johan Jaffar, National University of Singapore, Singapore<br>
Thierry Jéron, Inria Rennes – Bretagne Atlantique, France<br>
Johannes Kinder, Royal Holloway University of London, UK<br>
Felix Klaedtke, NEC Europe Ltd., Germany<br>
Kim G. Larsen, Aalborg University, Denmark<br>
Axel Legay, Inria Rennes – Bretagne Atlantique, France<br>
Martin Leucker, University of Lübeck, Germany<br>
Benjamin Livshits, Microsoft Research, USA<br>
Joao Lourenço, Universidade Nova de Lisboa, Portugal<br>
Rupak Majumdar, MPI-SWS, Germany<br>
Leonardo Mariani, University of Milano Bicocca, Italy<br>
David Naumann, Stevens Institute of Technology, USA<br>
Dejan Nickovic, Austrian Institute of Technology, Austria<br>
Gordon Pace, University of Malta, Malta<br>
Doron Peled, Bar Ilan University, Israel<br>
Lee Pike, Galois, Inc., USA<br>
Grigore Rosu, University of Illinois at Urbana-Champaign, USA<br>
Gwen Salaün, Univ. Grenoble Alpes and Inria, France<br>
Cesar Sanchez, IMDEA Software Institute, Spain<br>
Sriram Sankaranarayanan, University of Colorado Boulder, USA<br>
Gerardo Schneider, University of Gothenburg, Sweden<br>
Scott Smolka, Stony Brook University, USA<br>
Oleg Sokolsky, University of Pennsylvania, USA<br>
Bernhard Steffen, University of Dortmund, Germany<br>
Scott Stoller, Stony Brook University, USA<br>
Volder Stolz, University of Oslo, Norway<br>
Jun Sun, Singapore University of Technology and Design, Singapore<br>
Juan Tapiador, Universidad Carlos III de Madrid, Spain<br>
Serdar Tasiran, Koc Univ., Turkey<br>
Michael Whalen, University of Minnesota, USA<br>
Eugen Zalinescu, ETH Zurich, Switzerland<br>
Lenore Zuck, University of Illinois at Chicago, USA<br>
<br>
— Tool Committee<br>
<br>
Steven Artz, EC Spride, Germany<br>
Howard Barringer, The University of Manchester, UK<br>
Ezio Bartocci, TU Wien, Austria<br>
Martin Leucker, University of Luebeck, Germany<br>
Gordon Pace, University of Malta, Malta<br>
Giles Reger, The University of Manchester, UK<br>
Julien Signoles, CEA, France<br>
Oleg Sokolsky, University of Pennsylvania, USA<br>
Bernhard Steffen, University of Dortmund, Germany<br>
Nikolai Tillmann, Microsoft Research, USA<br>
Eugen Zalinescu, ETH Zurich, Switzerland</div>
<div><br>
</div>
<div>— end —</div>
<div><br>
</div>
</div>
</div>
</body>
</html>