[FM-India] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada

Tue Nov 19 17:21:49 IST 2013

 From: Runtime Verification <rvconference at gmail.com>
 To: rvconference at gmail.com
 Date: Tue, 19 Nov 2013 11:50:12 +0100
 Subject: 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada

 14th International Conference on
 Runtime Verification
 September 22 – 25, 2014
 *Toronto, Canada*

 http://rv2014.imag.fr/

 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 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 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 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 at tuwien.ac.at
    - *Borzoo Bonakdarpour* (U. Waterloo, Canada), borzoo at cs.uwaterloo.ca
    - *Ylies Falcone* (U. Joseph Fourier, France), ylies.falcone at ujf-grenoble.fr