RV 2016 (September 23-30 2016, Madrid, Spain) - Call for Participation

--===============1127395081==
Content-Type: multipart/alternative; boundary="Apple-Mail=_FDFE0109-A709-405D-A4D5-76AD94447264"


--Apple-Mail=_FDFE0109-A709-405D-A4D5-76AD94447264
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CALL FOR PARTICIPATION

RUNTIME VERIFICATION 2016 (RV'16)
The 16th International Conference on Runtime Verification, September =
23-30 2016, Madrid, Spain

http://rv2016.imag.fr <http://rv2016.imag.fr/>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
OVERVIEW
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

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:

	=E2=80=A2 specification languages
	=E2=80=A2 specification mining
	=E2=80=A2 program instrumentation
	=E2=80=A2 monitor construction techniques
	=E2=80=A2 logging, recording, and replay
	=E2=80=A2 fault detection, localization, containment, recovery =
and repair
	=E2=80=A2 program steering and adaptation
	=E2=80=A2 metrics and statistical information gathering
	=E2=80=A2 combination of static and dynamic analyses
	=E2=80=A2 program execution visualization
	=E2=80=A2 monitoring techniques for safety/mission-critical =
systems
	=E2=80=A2 monitoring distributed systems, cloud services, and =
big data applications
	=E2=80=A2 monitoring security and privacy policies

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
INVITED TALKS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D Gul Agha, University of Illinois at Urbana-Champaign, USA

Building Dependable Concurrent Systems through Probabilistic Inference, =
Predictive Monitoring and Self-Adaptation

=3D Oded Maler, CNRS and University of Grenoble-Alpes (UGA), France

Monitoring: Qualitative and Quantitative, Real and Virtual, Online and =
Offline

=3D Fred B. Schneider, Cornell University, USA

Why Tags Could Be It

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
TUTORIALS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D Borzoo Bonakdarpour and Bernd Finkbeiner.

Runtime Verification for HyperLTL

=3D Nikolai Kosmatov and Julien Signoles.

Frama-C, a Collaborative Framework for C Code Verification

=3D Doron Peled.

Using Genetic Programming for Software Reliability

=3D Sylvain Hall=C3=A9.

When RV meets CEP

=3D Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, =
Manasvi Saxena, Traian Florin Serbanuta and Grigore Rosu.

Runtime Verification at Work: A Tutorial

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ACCEPTED PAPERS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D Regular Papers
Jean Goubault-Larrecq and Jean-Philippe Lachance. On the Complexity of =
Monitoring Orchids Signatures
Jeffery Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel =
Moreno and David Kyle. Input Attribution for Statistical Model Checking =
using Logistic Regression
Jinghao Shi, Shuvendu Lahiri, Geoffrey Challen and Ranveer Chandra. =
Wireless Protocol Validation Under Uncertainty
Stefan Jaksic, Ezio Bartocci, Radu Grosu and Dejan Nickovic. =
Quantitative Monitoring of STL with Edit Distance
Yoriyuki Yamagata, Cyrille Valentin Artho, Masami Hagiya, Jun Inoue, Lei =
Ma, Yoshinori Tanabe and Mitsuharu Yamamoto. Runtime monitoring for =
concurrent systems
Lee Pike, Patrick Hickey, Trevor Elliott, Eric Mertens and Aaron Tomb. =
TrackOS: A Security-Aware Real-Time Operating System
Carlos Moreno and Sebastian Fischmeister. Non-Intrusive Runtime =
Monitoring Through Power Consumption: A Signals and System Analysis =
Approach to Reconstruct the Trace
Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil, =
Sandeep Kulkarni and Murat Demirbas. Precision, Recall, and Sensitivity =
of Monitoring Partially Synchronous Distributed Systems
David Cerna, Wolfgang Schreiner and Temur Kutsia. Predicting Space =
Requirements for a Stream Monitor Specification Language
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister and Yogi Joshi. =
Accelerated Runtime Verification of LTL Specifications with Counting =
Semantics
Ra=C3=BAl Pardo, Christian Colombo, Gerardo Schneider and Gordon Pace. =
An Automata-based Approach to Evolving Privacy Policies for Social =
Networks
Rishi Surendran and Vivek Sarkar. Dynamic Determinacy Race Detection for =
Task Parallelism with Futures
Omar Javed, Yudi Zheng, Andrea Rosa, Haiyang Sun and Walter Binder. =
Extended Code Coverage for AspectJ-based Runtime Verification Tools
Bernd Finkbeiner, Peter Faymonville, Hazem Torfah and Sebastian =
Schirmer. Network Monitoring with Streams
Sean Kauffman, Rajeev Joshi and Klaus Havelund. Nfer =E2=80=93 A Logic =
and Infrastructure for Inferring Event Stream Properties
Andrey Yavolovsky, Milos Zefran and Prasad Sistla. Decision-Theoretic =
Monitoring of Cyber-Physical Systems
Carl Martin Rosenberg, Volker Stolz and Martin Steffen. Leveraging =
DTrace for Runtime Verification
Grigore Rosu. Finite-Trace Linear Temporal Logic: Coinductive =
Completeness
=3D Short and Position Papers
Nicolas Rapin. Reactive Property Monitoring of Hybrid Systems with =
Aggregation
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci and Radu Grosu. =
Applying Runtime Monitoring for Automotive Electronic Development
Takumi Akazaki. Falsification of Conditional Safety Properties for =
Cyber-Physical Systems with Gaussian Process Regression
Torben Scheffel, Malte Schmitz, Fernando Macias and Rui Wang. =
Integration of Runtime Verification into Metamodeling for Simulation and =
Code Generation (Position Paper)
=3D Regular Tool Papers
Lukasz Ziarek, Bharat Jayaraman, Demian Lessa and J. Swaminathan. =
Runtime Visualization and Verification in JIVE
Teng Zhang, Peter Gebhard and Oleg Sokolsky. SMEDL: Combining =
Synchronous and Asynchronous Monitoring
Duncan Attard and Adrian Francalanza. A Monitoring Tool for a =
Branching-Time Logic

=3D Tool Exhibition Papers
Johann Schumann, Patrick Moosbrugger and Kristin Rozier. Runtime =
Analysis with R2U2: A Tool Exhibition Report
Giles Reger. An Overview of MarQ
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
VENUE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The 16th International Conference on Runtime Verification will be held =
in theResidencia de Estudiantes of CSIC (Consejo Superior de =
Investigaciones Cient=C3=ADficas), in Calle Pinar, 21, which is in the =
neighborhood of El Viso, in a very centric location in Madrid. The =
Residencia is located right next to the Museo Nacional de Ciencias =
Naturales.

The Residencia is a =E2=80=9CEuropean Heritage Label=E2=80=9D site, =
granted by the significant role that it has played in the history and =
culture of Europe. It is an internationally renowned institution which =
encourages exchange, dialogue and understanding among different =
generations and cultures in disciplines such as the arts, humanities and =
sciences.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
REGISTRATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Registration is now available using the web-based registration form, =
with online payment on a secure website. Please use one form per =
attendee. All fees are VAT included. Early registration means on or =
before August 19, 2016. Late registration means after August 20, 2016.

Different possibilities of registration are available:

	=E2=80=A2 Full registration: (Tutorials + Conference). =46rom =
Sept., Tuesday 27 to Friday 30, 2016. Fees per person include: admission =
to the tutorials, the conference sessions, provided lunches, breaks and =
social events (reception and banquet).
		=E2=80=A2 Regular: 570 EUR (early), 670 EUR (late)
		=E2=80=A2 Student(*): 370 EUR (early), 540 EUR (late)
	=E2=80=A2 Conference Registration: =46rom Sept., Wednesday 28 to =
Friday 30, 2016. Fees per person include: admission to the tutorials, =
the conference sessions, provided lunches, breaks and social events =
(reception and banquet).
		=E2=80=A2 Regular: 510 EUR (early), 595 EUR (late)
		=E2=80=A2 Student(*):340 EUR (early), 420 EUR (late)
	=E2=80=A2 Tutorials Registration (Tutorials): only Sept., =
Tuesday 27, 2016. Fees per person include: admission to the tutorials =
and the breaks, and the social reception.
		=E2=80=A2  160 EUR (early), 200 EUR (late)

Registration link:=20

https://events.adcommcentury.com/event/rv2016/enter =
<https://events.adcommcentury.com/event/rv2016/enter>.


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CHAIRS AND ORGANIZERS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Program Committee Chairs
	=E2=80=A2 Yli=C3=A8s Falcone, Univ. Grenoble-Alpes and Inria, =
France
	=E2=80=A2 Cesar Sanchez, IMDEA Madrid, Spain

Tool Committee Chair
	=E2=80=A2 Klaus Havelund, Nasa Jet Propulsion Laboratory, USA

Local Organization  Committee
	=E2=80=A2 Juan E. Tapiador, Universidad Carlos III de Madrid, =
Spain

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
FUTHER INFORMATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

More information on RV 2016 can be found on the conference Website:

http://rv2016.imag.fr <http://rv2016.imag.fr/>=

--Apple-Mail=_FDFE0109-A709-405D-A4D5-76AD94447264
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<br class=3D""><div class=3D"">CALL FOR PARTICIPATION</div><div =
class=3D""><br class=3D""></div><div =
class=3D"">RUNTIME&nbsp;VERIFICATION&nbsp;2016 (RV'16)<br class=3D"">The =
16th International Conference on Runtime Verification, September 23-30 =
2016, Madrid,&nbsp;Spain</div><div class=3D""><br class=3D""></div><div =
class=3D""><a href=3D"http://rv2016.imag.fr" =
class=3D"">http://rv2016.imag.fr</a></div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<br class=3D""><div class=3D"">OVERVIEW</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D"">Runtime =
verification is concerned with monitoring and analysis of software and =
hardware system executions. Runtime verification&nbsp;techniques are =
crucial for system correctness, reliability, and robustness; they are =
significantly more powerful and versatile than&nbsp;conventional =
testing, and more practical than exhaustive formal verification. Runtime =
verification can be used prior to deployment, for&nbsp;testing, =
verification, and debugging purposes, and after deployment for ensuring =
reliability, safety, and security and for providing =
fault&nbsp;containment and recovery as well as online system repair. =
Topics of interest to the conference include:<br class=3D""><br =
class=3D""><div class=3D""><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 specification =
languages<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
specification mining<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
program instrumentation<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
monitor construction techniques<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
logging, recording, and replay<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
fault detection, localization, containment, recovery and repair<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 program steering and =
adaptation<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
metrics and statistical information gathering<br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 combination of static and dynamic analyses<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 program execution =
visualization<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
monitoring techniques for safety/mission-critical systems<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 monitoring distributed =
systems, cloud services, and big data applications<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 monitoring security and =
privacy policies</div></div></div></div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br class=3D""><div class=3D"">INVITED =
TALKS</div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D</div></div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D Gul Agha,&nbsp;University of Illinois at =
Urbana-Champaign, USA<br class=3D""><br class=3D"">Building Dependable =
Concurrent Systems through Probabilistic Inference,&nbsp;Predictive =
Monitoring and Self-Adaptation</div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D Oded Maler,&nbsp;CNRS and =
University of Grenoble-Alpes (UGA), France<br class=3D""><br =
class=3D"">Monitoring: Qualitative and Quantitative, Real and Virtual, =
Online and Offline</div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D Fred B. Schneider,&nbsp;Cornell University, USA<br =
class=3D""><br class=3D"">Why Tags Could Be It</div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D"">TUTORIALS</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D"">=3D Borzoo =
Bonakdarpour and Bernd Finkbeiner.</div><div class=3D""><br =
class=3D"">Runtime Verification for HyperLTL</div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D Nikolai Kosmatov and Julien =
Signoles.<br class=3D""><br class=3D""></div><div class=3D"">Frama-C, a =
Collaborative Framework for C Code Verification</div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D Doron Peled.<br class=3D""><br =
class=3D""></div><div class=3D"">Using Genetic Programming for Software =
Reliability</div><div class=3D""><br class=3D""></div><div class=3D"">=3D =
Sylvain Hall=C3=A9.</div><div class=3D""><br class=3D""></div>When RV =
meets CEP<div class=3D""><br class=3D""></div><div =
class=3D"">=3D&nbsp;Philip Daian, Dwight Guth, Chris Hathhorn, Yilong =
Li, Edgar Pek, Manasvi&nbsp;Saxena, Traian Florin Serbanuta and Grigore =
Rosu.<br class=3D""><br class=3D""></div><div class=3D"">Runtime =
Verification at Work: A Tutorial<br class=3D""><div class=3D""><br =
class=3D""></div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D"">ACCEPTED PAPERS</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D""><div =
class=3D"">=3D Regular Papers</div><div class=3D""><ul class=3D""><li =
class=3D"">Jean Goubault-Larrecq and Jean-Philippe Lachance. On the =
Complexity of Monitoring Orchids Signatures</li><li class=3D"">Jeffery =
Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno and =
David Kyle. Input Attribution for Statistical&nbsp;Model Checking using =
Logistic Regression</li><li class=3D"">Jinghao Shi, Shuvendu Lahiri, =
Geoffrey Challen and Ranveer Chandra. Wireless Protocol Validation Under =
Uncertainty</li><li class=3D"">Stefan Jaksic, Ezio Bartocci, Radu Grosu =
and Dejan Nickovic. Quantitative Monitoring of STL with Edit =
Distance</li><li class=3D"">Yoriyuki Yamagata, Cyrille Valentin Artho, =
Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu =
Yamamoto. Runtime&nbsp;monitoring for concurrent systems</li><li =
class=3D"">Lee Pike, Patrick Hickey, Trevor Elliott, Eric Mertens and =
Aaron Tomb. TrackOS: A Security-Aware Real-Time Operating System</li><li =
class=3D"">Carlos Moreno and Sebastian Fischmeister. Non-Intrusive =
Runtime Monitoring Through Power Consumption: A Signals and =
System&nbsp;Analysis Approach to Reconstruct the Trace</li><li =
class=3D"">Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken =
Valapil, Sandeep Kulkarni and Murat Demirbas. Precision,&nbsp;Recall, =
and Sensitivity of Monitoring Partially Synchronous Distributed =
Systems</li><li class=3D"">David Cerna, Wolfgang Schreiner and Temur =
Kutsia. Predicting Space Requirements for a Stream Monitor Specification =
Language</li><li class=3D"">Ramy Medhat, Borzoo Bonakdarpour, Sebastian =
Fischmeister and Yogi Joshi. Accelerated Runtime Verification of =
LTL&nbsp;Specifications with Counting Semantics</li><li class=3D"">Ra=C3=BA=
l Pardo, Christian Colombo, Gerardo Schneider and Gordon Pace. An =
Automata-based Approach to Evolving Privacy Policies&nbsp;for Social =
Networks</li><li class=3D"">Rishi Surendran and Vivek Sarkar. Dynamic =
Determinacy Race Detection for Task Parallelism with Futures</li><li =
class=3D"">Omar Javed, Yudi Zheng, Andrea Rosa, Haiyang Sun and Walter =
Binder. Extended Code Coverage for AspectJ-based =
Runtime&nbsp;Verification Tools</li><li class=3D"">Bernd Finkbeiner, =
Peter Faymonville, Hazem Torfah and Sebastian Schirmer. Network =
Monitoring with Streams</li><li class=3D"">Sean Kauffman, Rajeev Joshi =
and Klaus Havelund. Nfer =E2=80=93 A Logic and Infrastructure for =
Inferring Event Stream Properties</li><li class=3D"">Andrey Yavolovsky, =
Milos Zefran and Prasad Sistla. Decision-Theoretic Monitoring of =
Cyber-Physical Systems</li><li class=3D"">Carl Martin Rosenberg, Volker =
Stolz and Martin Steffen. Leveraging DTrace for Runtime =
Verification</li><li class=3D"">Grigore Rosu. Finite-Trace Linear =
Temporal Logic: Coinductive Completeness</li></ul></div></div><div =
class=3D"">=3D Short and Position Papers</div><div class=3D""><div =
class=3D""><ul class=3D""><li class=3D"">Nicolas Rapin. Reactive =
Property Monitoring of Hybrid Systems with Aggregation</li><li =
class=3D"">Konstantin Selyunin, Thang Nguyen, Ezio Bartocci and Radu =
Grosu. Applying Runtime Monitoring for Automotive =
Electronic&nbsp;Development</li><li class=3D"">Takumi Akazaki. =
Falsification of Conditional Safety Properties for Cyber-Physical =
Systems with Gaussian Process Regression</li><li class=3D"">Torben =
Scheffel, Malte Schmitz, Fernando Macias and Rui Wang. Integration of =
Runtime Verification into Metamodeling for&nbsp;Simulation and Code =
Generation (Position Paper)</li></ul></div><div class=3D"">=3D Regular =
Tool Papers</div><div class=3D""><ul class=3D""><li class=3D"">Lukasz =
Ziarek, Bharat Jayaraman, Demian Lessa and J. Swaminathan. Runtime =
Visualization and Verification in JIVE</li><li class=3D"">Teng Zhang, =
Peter Gebhard and Oleg Sokolsky. SMEDL: Combining Synchronous and =
Asynchronous Monitoring</li><li class=3D"">Duncan Attard and Adrian =
Francalanza. A Monitoring Tool for a Branching-Time =
Logic</li></ul></div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D Tool Exhibition Papers</div><div class=3D""><ul =
class=3D""><li class=3D"">Johann Schumann, Patrick Moosbrugger and =
Kristin Rozier. Runtime Analysis with R2U2: A Tool Exhibition =
Report</li><li class=3D"">Giles Reger. An Overview of =
MarQ</li></ul></div></div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D"">VENUE</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D"">The 16th =
International Conference on Runtime Verification will be held in =
theResidencia de Estudiantes of CSIC (Consejo Superior =
de&nbsp;Investigaciones Cient=C3=ADficas), in Calle Pinar, 21, which is =
in the neighborhood of El Viso, in a very centric location in Madrid. =
The&nbsp;Residencia is located right next to the Museo Nacional de =
Ciencias Naturales.<br class=3D""><br class=3D"">The Residencia is a =
=E2=80=9CEuropean Heritage Label=E2=80=9D site, granted by the =
significant role that it has played in the history and culture of =
Europe. It&nbsp;is an internationally renowned institution which =
encourages exchange, dialogue and understanding among =
different&nbsp;generations and cultures in disciplines such as the arts, =
humanities and sciences.</div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D"">REGISTRATION</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D"">Registration=
 is now available using the&nbsp;web-based registration form, with =
online payment on a secure website. Please use one form =
per&nbsp;attendee. All fees are VAT included. Early registration means =
on or before August 19, 2016. Late registration means after August 20, =
2016.<br class=3D""><br class=3D"">Different possibilities of =
registration are available:<br class=3D""><br class=3D""><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 Full registration:&nbsp;(Tutorials + Conference). =46rom =
Sept., Tuesday 27 to Friday 30, 2016. Fees per person include: admission =
to the&nbsp;tutorials, the conference sessions, provided lunches, breaks =
and social events (reception and banquet).<br class=3D""><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">		=
</span>=E2=80=A2 Regular: 570 EUR (early), 670 EUR (late)<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">		</span>=E2=80=A2 Student(*): 370 =
EUR (early), 540 EUR (late)<br class=3D""></div></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 Conference Registration:&nbsp;=46rom Sept., Wednesday =
28 to Friday 30, 2016. Fees per person include: admission to the =
tutorials, the&nbsp;conference sessions, provided lunches, breaks and =
social events (reception and banquet).<br class=3D""><div class=3D""><span=
 class=3D"Apple-tab-span" style=3D"white-space: pre;">		=
</span>=E2=80=A2 Regular: 510 EUR (early), 595 EUR (late)<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">		</span>=E2=80=A2 Student(*):340 =
EUR (early), 420 EUR (late)<br class=3D""></div></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 Tutorials Registration&nbsp;(Tutorials): only Sept., =
Tuesday 27, 2016. Fees per person include: admission to the tutorials =
and the&nbsp;breaks, and the social reception.<br class=3D""><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">		=
</span>=E2=80=A2 &nbsp;160 EUR (early), 200 EUR =
(late)</div></div></div><div class=3D""><br class=3D""></div><div =
class=3D"">Registration link:&nbsp;</div><div class=3D""><br =
class=3D""></div><div class=3D""><a =
href=3D"https://events.adcommcentury.com/event/rv2016/enter" =
class=3D"">https://events.adcommcentury.com/event/rv2016/enter</a>.</div><=
div class=3D""><br class=3D""></div><div class=3D""><br =
class=3D""></div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D"">CHAIRS AND =
ORGANIZERS</div><div class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D""><br class=3D""></div><div =
class=3D"">Program Committee Chairs<br class=3D""><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Yli=C3=A8s Falcone, Univ. Grenoble-Alpes and Inria, France<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 Cesar Sanchez, IMDEA =
Madrid, Spain<br class=3D""></div><div class=3D""><br =
class=3D""></div>Tool Committee Chair<br class=3D""><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Klaus Havelund, Nasa Jet Propulsion Laboratory, USA</div></div><div =
class=3D""><br class=3D""></div><div class=3D"">Local Organization =
&nbsp;Committee<br class=3D""><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Juan E. Tapiador, Universidad Carlos III de Madrid, =
Spain</div></div><div class=3D""><br class=3D""></div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D"">FUTHER INFORMATION</div><div =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D""><br class=3D""></div><div class=3D"">More =
information on RV 2016 can be found on the conference Website:</div><div =
class=3D""><br class=3D""></div><div class=3D""><a =
href=3D"http://rv2016.imag.fr" =
class=3D"">http://rv2016.imag.fr</a></div></div></body></html>=

--Apple-Mail=_FDFE0109-A709-405D-A4D5-76AD94447264--

--===============1127395081==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============1127395081==--