[FM-India] [RV 2016] Second Call for Papers -- 2 months to the deadline

Madhavan Mukund madhavan at cmi.ac.in
Wed Mar 9 16:36:14 IST 2016

  Date: Wed, 9 Mar 2016 10:44:09 +0100
  From: Ylies Falcone <ylies.falcone at imag.fr>
  To: rv2016_annoucements at imag.fr
  Subject: [RV 2016] Second Call for Papers -- 2 months to the deadline

  [Our apologies for duplicates]

  RV 2016
  16th International Conference on Runtime Verification
  September 23-30, Madrid, Spain



  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
  - runtime enforcement, fault detection, localization, containment, recovery and
  - 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 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.

  Invited Speakers

  The program of RV 2016 will feature invited talks from:

  Gul Agha (University of Illinois at Urbana-Champaign, USA)
  Oded Maler (CNRS and University of Grenoble-Alpes, France)
  Fred B. Schneider (Cornell University, USA)


  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).

  General Information on Submissions

  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.

  --Research Papers Track

  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

  Regular Papers (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. 
  The Program Committee of RV 2015 will give a best paper award. 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 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.

  --Tool Papers Track

  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.

  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
  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.

  Tool papers can be submitted into two categories: 

  Regular Tool Papers (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.
  Tool Exhibition Papers (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.

  --Tutorial Track

  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.

  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

  Important Dates

  Research and tool papers as well as tutorials will follow the following

  Abstract deadline: May 8, 2016
  Paper and tutorial deadline: May 15, 2016
  Tutorial notification: June 1, 2016
  Paper notification: July 11, 2016
  Camera ready deadline: August 8, 2016
  Summer school: September 23-25, 2016
  Workshops and tutorials: September 26-27, 2016
  Conference: September 28-30, 2016


  --Program Committee Chairs

  Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
  Cesar Sanchez, IMDEA Software, Madrid, Spain

  --Tool Committee Chair

  Klaus Havelund, NASA Jet Propulsion Laboratory, USA

  --Local Organization Chair

  Juan E. Tapiador, Universidad Carlos III de Madrid, Spain

  --Program Committee

  Erika Abraham, RWTH Aachen University, Germany
  Howard Barringer, The University of Manchester, UK
  Ezio Bartocci, TU Wien, Austria
  Andreas Bauer, NICTA & Australian National University, Australia
  Saddek Bensalem, Univ. Grenoble Alpes, France
  Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
  Borzoo Bonakdarpour, McMaster University, Canada
  Laura Bozzelli, Technical University of Madrid (UPM), Spain
  Juan Caballero, IMDEA Software Institute, Spain
  Wei-Ngan Chin, National University of Singapore, Singapore
  Christian Colombo, University of Malta, Malta
  Jyotirmoy Deshmukh, Toyota Technical Center, USA
  Alexandre Donzé, UC Berkeley EECS Department, USA
  Yliès Falcone, Univ. Grenoble Alpes and Inria, France
  Bernd Finkbeiner, Saarland University, Germany
  Adrian Francalanza, University of Malta, Malta
  Vijay Garg, The University of Texas at Austin, USA
  Patrice Godefroid, Microsoft Research, USA
  Susanne Graf, Univ. Grenoble Alpes and CNRS, France
  Radu Grosu, Vienna University of Technology, Austria
  Sylvain Hallé, Université du Québec à Chicoutimi, Canada
  Klaus Havelund, NASA Jet Propulsion Laboratory, USA
  Johan Jaffar, National University of Singapore, Singapore
  Thierry Jéron, Inria Rennes ? Bretagne Atlantique, France
  Johannes Kinder, Royal Holloway University of London, UK
  Felix Klaedtke, NEC Europe Ltd., Germany
  Kim G. Larsen, Aalborg University, Denmark
  Axel Legay, Inria Rennes ? Bretagne Atlantique, France
  Martin Leucker, University of Lübeck, Germany
  Benjamin Livshits, Microsoft Research, USA
  Joao Lourenço, Universidade Nova de Lisboa, Portugal
  Rupak Majumdar, MPI-SWS, Germany
  Leonardo Mariani, University of Milano Bicocca, Italy
  David Naumann, Stevens Institute of Technology, USA
  Dejan Nickovic, Austrian Institute of Technology, Austria
  Gordon Pace, University of Malta, Malta
  Doron Peled, Bar Ilan University, Israel
  Lee Pike, Galois, Inc., USA
  Grigore Rosu, University of Illinois at Urbana-Champaign, USA
  Gwen Salaün, Univ. Grenoble Alpes and Inria, France
  Cesar Sanchez, IMDEA Software Institute, Spain
  Sriram Sankaranarayanan, University of Colorado Boulder, USA
  Gerardo Schneider, University of Gothenburg, Sweden
  Scott Smolka, Stony Brook University, USA
  Oleg Sokolsky, University of Pennsylvania, USA
  Bernhard Steffen, University of Dortmund, Germany
  Scott Stoller, Stony Brook University, USA
  Volder Stolz, University of Oslo, Norway
  Jun Sun, Singapore University of Technology and Design, Singapore
  Juan Tapiador, Universidad Carlos III de Madrid, Spain
  Serdar Tasiran, Koc Univ., Turkey
  Michael Whalen, University of Minnesota, USA
  Eugen Zalinescu, ETH Zurich, Switzerland
  Lenore Zuck, University of Illinois at Chicago, USA

  --Tool Committee

  Steven Artz, EC Spride, Germany
  Howard Barringer, The University of Manchester, UK
  Ezio Bartocci, TU Wien, Austria
  Martin Leucker, University of Luebeck, Germany
  Gordon Pace, University of Malta, Malta
  Giles Reger, The University of Manchester, UK
  Julien Signoles, CEA, France
  Oleg Sokolsky, University of Pennsylvania, USA
  Bernhard Steffen, University of Dortmund, Germany
  Nikolai Tillmann, Microsoft Research, USA
  Eugen Zalinescu, ETH Zurich, Switzerland

More information about the FMIndia mailing list