[Haskell] RV 2014: 3rd Call for Papers, Deadline in 3 weeks

18 Mar 2014

      [Apologizes for duplicates]
14th International Conference on
Runtime Verification
September 22 - 25, 2014
*Toronto, Canada*

http://rv2014.imag.fr/

 <http://rv2014.imag.fr/images/CfP.pdf>

Scope:

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:

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

Application areas of runtime verification include safety/mission-critical
systems, enterprise and systems software, autonomous and reactive control
systems, health management and diagnosis systems, and system security and
privacy.

Technical Research Papers Track:

Technical research papers can be submitted in two categories: regular and
short papers. Papers in both categories will be reviewed by the conference
Program Committee. All accepted technical papers will appear in an
LNCS<http://www.springer.com/series/558> volume.
Submitted papers must use the LNCS
style<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>.
At least one author of each accepted paper must attend RV'14 to present the
paper. Papers must be submitted electronically using
theEasyChair<https://www.easychair.org/conferences/?conf=rv2014>
 system.

   - *Regular papers* (up to 15 pages) should present original unpublished
   results. Theoretical and experimental papers as well as papers on
   applications of runtime verification and case studies are all welcome. A
   non-monetary Best Paper Award will be given. 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.

   - *Short papers* (up to 5 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 short talk (10 minutes) and
   poster sessions.

Program committee

Borzoo Bonakdarpour <https://cs.uwaterloo.ca/~bbonakda/> (University of
Waterloo, Canada), *co-chair*

Scott Smolka <http://www.cs.sunysb.edu/~sas/> (Stony Brook Universtiy,
USA), *co-chair*

Gul Agha <http://cs.illinois.edu/directory/profile/agha> (University of
Illinois at Urbana-Champaign, USA)

Thomas Ball <http://research.microsoft.com/en-us/people/tball/> (Microsoft
Research, Redmond, USA)

Howard Barringer <http://www.manchester.ac.uk/research/howard.barringer> (The
University of Manchester, UK)

Ezio Bartocci <http://www.eziobartocci.com/> (TU Wien, Austria)

David Basin <http://www.inf.ethz.ch/personal/basin/> (ETH Zurich,
Switzerland)

Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/> (Verimag, France)

Eric Bodden <http://www.bodden.de/> (TU - Darmstadt, Germany)

Ivona Brandic <http://www.infosys.tuwien.ac.at/staff/ivona/> (TU Wien,
Austria)

Marsha Chechik <http://www.cs.toronto.edu/~chechik/> (University of
Toronto, Canada)

Michael Clarkson <http://faculty.cs.gwu.edu/~clarkson/> (George Washington
University, USA)

Laura Dillon <http://www.cse.msu.edu/~ldillon/> (Michigan State University,
USA)

Shlomi Dolev <http://www.cs.bgu.ac.il/~dolev/> (Ben Gurion University,
Israel)

Alastair Donaldson <http://www.doc.ic.ac.uk/~afd/> (Imperial College
London, UK)

Dawson Engler <http://www.stanford.edu/~engler/> (Stanford University,
USA)

Ylies Falcone <http://www.ylies.fr/> (Université Joseph Fourier, France)

Vijay Garg <http://users.ece.utexas.edu/~garg/> (University of Texas at
Austin, USA)

Steve Goddard <http://cse.unl.edu/~goddard/papers.html> (University of
Nebraska-Lincoln, USA)

Ganesh Gopalakrishnan <http://www.cs.utah.edu/~ganesh/> (University of
Utah, USA)

Wolfgang Grieskamp (Google, USA)

Radu Grosu <http://www.cs.sunysb.edu/~grosu/> (TU- Wien, Austria)

Klaus Havelund <http://www.havelund.com/> (NASA/JPL, USA)

Mats Heimdahl <http://www.umsec.umn.edu/about/director> (University of
Minnesota, USA)

Laurie Hendren <http://www.sable.mcgill.ca/~hendren/> (McGill University,
Canada)

Gerard Holzmann <http://lars-lab.jpl.nasa.gov/people/gh.html> (NASA/JPL,
USA)

Daniel Keren <http://www.cs.haifa.ac.il/~dkeren/> (Haifa University, Israel)

Sandeep Kulkarni  <http://www.cse.msu.edu/~sandeep/>(Michigan State
University, USA)

Marta Kwiatkowska <http://www.cs.ox.ac.uk/marta.kwiatkowska/> (University
of Oxford, UK)

Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml> (University
of Pennsylvania, USA)

Axel Legay <http://people.irisa.fr/Axel.Legay/> (IRISA/INRIA, France)

Martin    Leucker <http://www.isp.uni-luebeck.de/leucker/> (University of
Lübeck, Germany)

Leonardo Mariani<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php>
(University
of Milano Bicocca, Italy)

Patrick Meredith
<http://fsl.cs.illinois.edu/index.php/Patrick_Meredith> (University
of Illinois at Urbana-Champaign, USA)

David Naumann <http://www.cs.stevens.edu/~naumann/> (Stevens Institute of
Technology, USA)

Doron Peled <http://u.cs.biu.ac.il/~doronp/> (Bar Ilan University, Israel)

Mauro Pezze <http://www.inf.usi.ch/personal-info?id=1187> (University of
Lugano, Switzerland)

Lee Pike <http://www.cs.indiana.edu/~lepike/> (Galois Inc., USA)

Zvonimir Rakamaric <http://www.zvonimir.info/> (University of Utah, USA)

Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu> (University
of Illinois at Urbana-Champaign, USA)

Andrey Rybalchenko <http://www7.in.tum.de/~rybal/> (TU-Munich, Germany)

Andre Schiper <http://people.epfl.ch/andre.schiper?lang=fr> (EPFL,
Switzerland)

Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>       (University of
Pennsylvania, USA)

Scott Stoller <http://www.cs.sunysb.edu/~stoller/> (Stony Brook University,
USA)

Serdar    Tasiran <http://home.ku.edu.tr/~stasiran/> (Koc University,
Turkey)

Michael Whalen <http://www.umsec.umn.edu/directory/Michael-Whalen> (University
of Minnesota, USA)

Lenore Zuck <http://www.cs.uic.edu/~lenore/> (University of Illinois at
Chicago, USA)

Tool Demonstrations Track:

The aim of the RV 2014 tool demonstration 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. Tool demonstration papers
will be reviewed by the Tools Track Program Committee. All accepted tool
demonstration papers will appear in the conference proceedings LNCS volume.
Submitted papers must use the LNCS style. At least one author of each
accepted paper must attend RV'14 to present the paper. Papers must be
submitted electronically using the
EasyChair<https://www.easychair.org/conferences/?conf=rv2014>
 system.

Tool papers should meet the following criteria:

   - A tool paper should present a new tool, a new tool component or novel
   extensions to existing tools supporting runtime verification. Each
   submission should be original and not published previously in a tool paper
   form.
   - Each submission must not exceed 8 pages in the LNCS/Springer
   proceeding format, including all text, references and figures. The paper
   must be written in English and provided in PDF format.
   - Each submission must be accompanied at the time of the submission by a
   short screencast (between 5-10 minutes), with voice and overlay text
   commentary illustrating the demonstration of the tool (a link to it should
   be provided in the paper).
   - The paper 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.
   - Each tool paper must 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.

Evaluation

Each submission will be reviewed by at least four members of the tool
demonstration track program committee. The evaluation criteria will include:

   - the presentation quality
   - the availability (possibly in a open-source format) of the software.
   - the relevance for the Runtime Verification audience
   - the technical soundness of the presented tool
   - the originality of the underlying ideas

Tool Demonstration Committee

Ezio Bartocci, (TU-Vienna, Austria), *Chair*
Eric Bodden (TU - Darmstadt, Germany)
Alastair Donaldson (Imperial College London, UK)
Dawson Engler (Stanford University, USA)
Ylies Falcone (Université Joseph Fourier, France)
Klaus Havelund (NASA/JPL, USA)
Michael Whalen (University of Minnesota, USA)

Important Dates:

Both research papers and tool demonstration tracks will follow the
following timeline:

   - *Abstract deadline:* April 8, 2014
   - *Full paper deadline:* April 15, 2014
   - *Rebuttal phase:* May 18-20, 2014
   - *Acceptance notification:* June 10, 2014
   - *Camera ready submission:* June 25, 2014
   - *Conference dates:* 22-25 September, 2014

Competition on Software for Runtime Verification (CSRV-2014)

 A satellite event of RV'14 is the first *International Competition on
Software for Runtime Verification* (CRVS'14). The main aims of CSRV-2014
competition are to:

   - Stimulate the development of new efficient and practical runtime
   verification tools and the maintenance of the already developed ones.
   - Produce a benchmark suite for runtime verification tools, by sharing
   case studies and programs that researchers and developers can use in the
   future to test and to validate their prototypes.
   - Discuss the metrics employed for comparing the tools.
   - Provide a comparison of the tools running with different benchmarks
   and evaluating using different criteria.
   - Enhance the visibility of presented tools among the different
   communities (software engineering, formal methods and automated
   verification, distributed computing, security, and safety-critical systems)
   involved in software monitoring.

CRVS'14 will follow the following time line:

   - *Declaration of intent:* December 15, 2013
   - *Deadline for submission of benchmarks:* March 1, 2014
   - *Monitoring tool submission:* June 1, 2014
   - *Notification:* July 1, 2014

For more information, visit http://rv2014.imag.fr/monitoring-competition or
contact the event organizers:

   - *Ezio Bartocci* (TU-Wien, Austria), ezio.bartocci@tuwien.ac.at
   - *Borzoo Bonakdarpour* (U. Waterloo, Canada), borzoo@cs.uwaterloo.ca
   - *Ylies Falcone* (U. Joseph Fourier, France),
   ylies.falcone@ujf-grenoble.fr