From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 77BF48011D for ; Sat, 15 Apr 2017 21:33:05 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Asho5xh3BvJC6FFXusmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesTI/jxwZ3uMQTl6Ol3ixeRBMOAuq4C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhz?= =?us-ascii?q?sbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfVwZKPdec4RS3RHUMhfSidNBpqw?= =?us-ascii?q?Y5YKA+cHIO1WrZTyp0EWoBW+GwesGO3hxDxGiX/30qI0zvwhHAPE0gA9Ed8CrG?= =?us-ascii?q?jbo8vuNKoJVOC50LPFwC/fY/5MxDvw7pXDfBA7ofGLWLJ9acTdx0s1GAPbkFqQ?= =?us-ascii?q?rZHlPzWI2egVrmOV6u5gWviyi248tgp9pjaiy8gvh4TUg44ZxE3P+CJ8zoYxP9?= =?us-ascii?q?K4VVV7bcSmHpRKqSGVKY92Qt4kQ251oys6yKUGuZqhcCgM0psn3ATQZ+aIc4iP?= =?us-ascii?q?/BLuTeCcKip2inJifbKwnRey8U64x+LnTMm011hLrixfntbSq38NygTf6s2dRf?= =?us-ascii?q?t74kih2SiA1xvP6u5aO0A4j7DUJII7zr4tlZofqUTDETXomEroiK+Wa0Mk9fWy?= =?us-ascii?q?5+v7ZbXmo4eQOJFuhQHlMqUhhsy/Dv45MggURWSb/v681LL78U3iWLVKlPw2kq?= =?us-ascii?q?/WsJ/EP8QXvLK2AwhQ0oo78Ra/EjGm0MgZnXkCMl1JYQyHgJbzO1HPLvD4DOuw?= =?us-ascii?q?jE6wkDdqwPDGOKftApLXLnjMiLvhYLB9609FxAoo199Q/YhUCrUbL/L1R0D9rs?= =?us-ascii?q?HXAQEhPwyv2+bnEtR91oURWW2RGK+VKr7dvkGQ6uIqIumDeJUVuDHmK/gi6f7u?= =?us-ascii?q?kWU1lkMafamsxZcXbWq3HvJ8L0qDfXXgmMoBEWQMswEjT+LqkEWPXSNNa3uxRa?= =?us-ascii?q?4w+zE2BYO8AYvdSY2ghKaN0DmlEpBSfmxKFEyAHHXye4mZW/oAdTieLtJ9njEL?= =?us-ascii?q?T7SsSZEt2QmzuAL7z7drNPTY9y0XuJ7519V5/fDfmBA9+DFyEs+TyXuCT3tukW?= =?us-ascii?q?MNXzI23L5woUh6ylqb1ah4gudYFcBI5/9TVAc1L4XcwPZgB9D9XQLBYM+FSFeg?= =?us-ascii?q?Qtq4HTE8Vs89z8ENbkpnBtmvjhHO0zC0D7Iak7GHHoI4/rzY0nTpIsZy0XfG1K?= =?us-ascii?q?0vj1k8RctPMHWrhqB69wTKHYHJlUOZl6G3daQawCHC6mKDwnSIvEFESw58SL7K?= =?us-ascii?q?XXcCZkvQsdv2+FjCQqSqCbQmKQtB1dWCJrFMatLzllVJXu3vONvZY2Kvg2uwHw?= =?us-ascii?q?qHxquQbIr2fGUQxDnSB1IBkwAX5HqGMQk+Bjy9o2/FFzxvFVfvY1v2/uVkqXO7?= =?us-ascii?q?SFU0zwCQYEF72bq14AYfheaARPMLwrIEpCAhpi16HFal2NLWF8aApwt/c6VGet?= =?us-ascii?q?484VZH1WfCuAxnJJOsNaFihlgEcwR2pUzizRt3Cp9Ym8gwsHwq1BZyKb6f0F5Z?= =?us-ascii?q?dzOYwI7/OqHMJ2jz/RCvbrXZ2kvE39qM+6cP7u44q1T5sw2zGEoi6W1t08NJ3H?= =?us-ascii?q?uE+pXKEA0SXIrxUkkp7Rh1vK/VYi0854PSznBtMKi0sjrZ1NIzHuQp0Begf9FF?= =?us-ascii?q?MKOFDgD+CcMaB9L9YNEsgEWjOxIYIPhJpulzO8K9a+DA3qewNaBvmyzhiG1G5I?= =?us-ascii?q?V01AWL7zZ9TejTmJgAhvie2AyaUTzxiVqnrtukpIZfeDtHG2O+zTTjVoBUI6R0?= =?us-ascii?q?e4EWD2yjJsCx2s47nZP0RnND6HanBkgaw4mvcAGbKVP6w1pLyE4VrHe7zDa+1C?= =?us-ascii?q?F+iDozr6CSjxDJlq7scV8OPGhMWW9pgFLhJ5Svp9QbR1SzKQ4gjxLj6kHkjeAP?= =?us-ascii?q?qqE6Jm/VRlpOdCXzImd+SYO0t6GeeIhJ4Ygh9ypQTrLvT0qdT+u3gxIE3if+GW?= =?us-ascii?q?cajBM/fiyx8tWiw0xQySjVeFV3pWfCP+F52xrb+drQbfxJ2nwATTJxzzbQGA7v?= =?us-ascii?q?bJGS4dyImsKb4aiFXGW7W8gPISQ=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DyAQBIdPJYh+X5nIBCGhYEAQEBAwEBA?= =?us-ascii?q?QkBAQEWAQEBAwEBAQkBAQGCRDoCehBWBy4HAY5mk1CSBgaCeiQBDIJAgmxKAoN?= =?us-ascii?q?/QxQBAQEBAQEBAQEBARIBAQEKCwkIKCQLgjMEAgMBHYI/BAEBFwMpCAIWAgUBB?= =?us-ascii?q?AoDAQIGAgEBDzECBAEHAwEkCQEUEwQTBRgEh2NJgUoFCTGsFYsOAQoBAQEkhlO?= =?us-ascii?q?BXIRUAYE6IYERCgcBFjyCFgyDDQWHTohqjGIBAYYScYJagz+HR1WEW4Mqhm2HO?= =?us-ascii?q?YMCcw6ITBEnbDIIHQtBU4IkgkACDBCBY3UBAQERhnsPFzBaAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0DyAQBIdPJYh+X5nIBCGhYEAQEBAwEBAQkBAQEWAQEBAwE?= =?us-ascii?q?BAQkBAQGCRDoCehBWBy4HAY5mk1CSBgaCeiQBDIJAgmxKAoN/QxQBAQEBAQEBA?= =?us-ascii?q?QEBARIBAQEKCwkIKCQLgjMEAgMBHYI/BAEBFwMpCAIWAgUBBAoDAQIGAgEBDzE?= =?us-ascii?q?CBAEHAwEkCQEUEwQTBRgEh2NJgUoFCTGsFYsOAQoBAQEkhlOBXIRUAYE6IYERC?= =?us-ascii?q?gcBFjyCFgyDDQWHTohqjGIBAYYScYJagz+HR1WEW4Mqhm2HOYMCcw6ITBEnbDI?= =?us-ascii?q?IHQtBU4IkgkACDBCBY3UBAQERhnsPFzBaAYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.37,205,1488841200"; d="scan'208,217";a="269194346" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Apr 2017 21:33:02 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A49F7602A83; Sat, 15 Apr 2017 15:31:20 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id jfgYqDllZD95; Sat, 15 Apr 2017 15:31:20 -0400 (EDT) Received: from LISTS.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 2BED9602909; Sat, 15 Apr 2017 15:31:18 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 3E3B8602037 for ; Sat, 15 Apr 2017 15:31:16 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id USP9pyjHzIXB for ; Sat, 15 Apr 2017 15:31:16 -0400 (EDT) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id AA4C8601EF7 for ; Sat, 15 Apr 2017 15:31:13 -0400 (EDT) Received: from mail.jpl.nasa.gov (ap-ehub-sp01.jpl.nasa.gov [128.149.137.148]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id v3FJVCZ0009775 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Sat, 15 Apr 2017 12:31:12 -0700 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.164]) by ap-ehub-sp01.RES.AD.JPL ([169.254.3.42]) with mapi id 14.03.0319.002; Sat, 15 Apr 2017 12:31:12 -0700 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: RV and RV-CuBES 2017 - Call for papers and tutorials Thread-Index: AQHSth7Wuh92mD8Z0kaKOY/dGD9pzw== Date: Sat, 15 Apr 2017 19:31:11 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.7.2.170228 x-originating-ip: [207.151.104.72] MIME-Version: 1.0 X-Source-Sender: Klaus.Havelund@jpl.nasa.gov X-AUTH: Authorized X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============1155077379360295377==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: klaus.havelund@jpl.nasa.gov Subject: [Caml-list] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials --===============1155077379360295377== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D517C30C19FA3klaushavelundjplnasagov_" --_000_D517C30C19FA3klaushavelundjplnasagov_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017@easychair.org Runtime verification is concerned with the monitoring and analysis of the r= untime behaviour of software and hardware systems. Runtime verification tec= hniques are crucial for system correctness, reliability, and robustness; th= ey provide an additional level of rigor and effectiveness compared to conve= ntional testing, and are generally more practical than exhaustive formal ve= rification. Runtime verification can be used prior to deployment, for testi= ng, 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, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, s= afety/mission-critical systems, enterprise and systems software, autonomous= and reactive control systems, health management and diagnosis systems, and= system security and privacy. We welcome contributions exploring the combination of runtime verification = techniques with machine learning and static analysis. Whilst these are high= light topics, papers falling into these categories will not be treated diff= erently from other contributions. An overview of previous RV conferences and earlier workshops can be found a= t: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feat= ure a tutorial day (September 13), and three conference days (September 14-= 16). Important Dates Papers as well as tutorial proposals will follow the following timeline: * Abstract deadline: April 24, 2017 (Anywhere on Earth) * Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) * Tutorial notification: May 21, 2017 * Paper notification: June 26, 2017 * Camera-ready deadline: July 24, 2017 * Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: * Rodrigo Fonseca, Brown University, = USA * Vlad Levin and Jakob Lichtenberg, Microsoft, USA * Andreas Zeller, Saarland U= niversity, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LN= CS volume. Submitted papers and tutorials must use the LNCS/Springer style = detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere= . Papers must be written in English and submitted electronically (in PDF fo= rmat) using the EasyChair submission page here: https://easychair.org/conferences/?conf=3Drv17 The page limitations mentioned below include all text and figures, but excl= ude references. Additional details omitted due to space limitations may be = included in a clearly marked appendix, that will be reviewed at the discret= ion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017= to present. Paper Submissions There are three categories of papers which can be submitted: regular, short= or tool papers. Papers in each category will be reviewed by at least 3 mem= bers of the Program Committee. * Regular Papers (up to 15 pages, not including references) should pres= ent original unpublished results. We welcome theoretical papers, system pap= ers, papers describing domain-specific variants of RV, and case studies on = runtime verification. * Short Papers (up to 6 pages, not including references) may present no= vel but not necessarily thoroughly worked out ideas, for example emerging r= untime verification techniques and applications, or techniques and applicat= ions that establish relationships between runtime verification and other do= mains. * Tool Demonstration Papers (up to 8 pages, not including references) s= hould present a new tool, a new tool component, or novel extensions to exis= ting tools supporting runtime verification. The paper must include informat= ion on tool availability, maturity, selected experimental results and it sh= ould 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. The Program Committee of RV 2017 will give a best paper award, and a select= ion of accepted regular papers will be invited to appear in a special issue= of the Springer Journal on Formal Methods in System Design. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Addition= ally, tutorial presenters will be offered to publish a paper of up to 20 pa= ges in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a propo= sed timeline, a note on previous similar tutorials (if applicable) and the = differences to this incarnation, and a brief biography of the presenter. Th= e proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its pl= ace a Workshop is being organised to discuss the future of the competition = and showcase existing Runtime Verification tools. Please see the relevant p= age on the conference website = for details. Organization General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, U= SA Program Chairs Shuvendu Lahiri,= Microsoft Research, USA Giles Reger, University of Manchester, = UK Finance Chair Oleg Sokolsky, University of Pennsyl= vania, USA Publicity Chair Ayoub Nouri, University Grenoble Alpe= s, France Local Organisation Chairs Grigory Fedyukovich, = University of Washington, USA Rahul Kumar, Microsoft Research, USA Program Committee Wolfgang Ahrendt, Chalmers Univ. of= Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Tech= nology, Sweden Howard Barringer, T= he University of Manchester, UK Ezio Bartocci, Vienna University of Technolog= y, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, University of Gr= enoble Alpes/VERIMAG, France Eric Bodden, Paderborn University / Fraunhofer IEM, = Germany Borzoo Bonakdarpour, McMaster Universit= y, Canada Christian Colombo, Un= iversity of Malta, Malta Ylies Falcone, University Grenoble Alpes/Inria, France Grigory Fedyukovich, = University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, = USA Jean Goubault-Larrecq, CNRS/ENS = de Cachan, France Alex Groce, Northern Arizona= University, USA Radu Grosu, Vienna University of = Technology, Austria Sylvain Hall=E9, University of Qu=E9bec at Ch= icoutimi, Canada Marieke Huisman, University of T= wente, Netherlands Franjo Ivancic, Google, USA Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC = Europe Ltd., Germany Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, Universit= y of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of L=FCb= eck, Germany Ben Livshits, Impe= rial College, UK David Lo, Singapore Management Unive= rsity, Singapore Francesco Logozzo, F= acebook, USA Parthasarathy Madhusudan, University of Illin= ois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madan Musuvathi, M= icrosoft Research, USA Ayoub Nouri, University of Grenoble A= lpes, France Gordon Pace, University of Malta, Mal= ta Doron Peled, Bar Ilan University, Israel Veselin Raychev, ETH Zurich, Switze= rland Grigore Rosu, University= of Illinois at Urbana-Champaign, USA Cesar Sanchez, IMDEA Software Institut= e, Spain Gerardo Schneider, Chalmers Univ. of= Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, = India Julien Signoles, CEA LIST, Fr= ance Scott Smolka, Stony Brook University= , USA Oleg Sokolsky, University of Pennsy= lvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook Unive= rsity, USA Volker Stolz, University of O= lso, Norway Frits Vaandrager, Radboud University, Nether= lands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern Calif= ornia, USA Eugen Zalinescu, Technische Univer= sitat M=FCnchen, Germany --_000_D517C30C19FA3klaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable

RV 2017

Call for Papers and Tutorials           = ;

        = ;  The 17th International Conference on Runtime Verification

        = ;  September 13-16, Seattle, WA, USA

= http://rv2017.cs.manchester.ac.uk

rv2017@= easychair.org

Runtime verification is = concerned with the monitoring and analysis of the runtime behaviour of soft= ware and hardware systems. Runtime verification techniques are crucial for = system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness co= mpared to conventional testing, and are generally more practical than exhau= stive formal verification. Runtime verification can be used prior to deploy= ment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, saf= ety, and security and for providing fault containment and recovery as well = as online system repair.

Topics of interest to th= e conference include, but are not limited to:

  • specification languages
  • monitor construction techniques
    • <= li>program instrumentation
  • logging, recording, and replay
    • combination of static and dynamic analysis
  • specification mining a= nd machine learning over runtime traces
  • monitoring techniques for = concurrent and distributed systems
  • runtime checking of privacy and= security policies
  • statistical model checking
  • metrics and= statistical information gathering
  • program/system execution visual= ization
  • fault localization, containment, recovery and repair
    • =
  • integrated vehicle health management (IVHM)

Application areas of run= time verification include cyber-physical systems, safety/mission-critical s= ystems, enterprise and systems software, autonomous and reactive control sy= stems, health management and diagnosis systems, and system security and privacy.

We welcome contributions= exploring the combination of runtime verification techniques with machine = learning and static analysis. Whilst these are highlight topics, papers fal= ling into these categories will not be treated differently from other contributions.

An overview of previous = RV conferences and earlier workshops can be found at: http://www.runtime-verifica= tion.org.

RV 2017 will be held Sep= tember 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (Sept= ember 13), and three conference days (September 14-16).

Important Dates

Papers as well as= tutorial proposals will follow the following timeline:

  • Abstract deadline: April 24, 2017 (Anywhere on Earth)
  • Paper an= d tutorial deadline: May 1, 2017 (Anywhere on Earth)
  • Tutorial noti= fication: May 21, 2017
  • Paper notification: June 26, 2017
  • Camera-ready deadline: July 24, 2017
  • Conference: Septembe= r 13-16, 2017

Invited Speakers

We are very pleased to c= onfirm the following invited speakers for RV 2017:

General Information on Submissions

All papers and tutorials= will appear in the conference proceedings in an LNCS volume. Submitted pap= ers and tutorials must use the LNCS/Springer style detailed here:

http://www.springer.de/comp/lncs/authors.= html

Papers must be original = work and not be submitted for publication elsewhere. Papers must be written= in English and submitted electronically (in PDF format) using the EasyChai= r submission page here:

https://easychair.org/conferences/?conf= =3Drv17

The page limitations men= tioned below include all text and figures, but exclude references. Addition= al details omitted due to space limitations may be included in a clearly ma= rked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings.

At least one author of e= ach accepted paper and tutorial must attend RV 2017 to present.

Paper Submissions

There are three categori= es of papers which can be submitted: regular, short or tool papers. Papers = in each category will be reviewed by at least 3 members of the Program Comm= ittee.

  • Regular Papers (up to 15 pages, not including referenc= es) should present original unpublished results. We welcome theoretical pap= ers, system papers, papers describing domain-specific variants of RV, and c= ase studies on runtime verification.
  • Short Papers (up to 6 pages, not including refere= nces) may present novel but not necessarily thoroughly worked out ideas, fo= r example emerging runtime verification techniques and applications, or tec= hniques and applications that establish relationships between runtime verification and other domains.
  • Tool Demonstration Papers (up to 8 pages, not including refer= ences) should present a new tool, a new tool component, or novel extensions= to existing tools supporting runtime verification. 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.

The Program Committee of= RV 2017 will give a best paper award, and 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.

Tutorial Submissions

Tutorials are two-to-thr= ee-hour presentations on a selected topic. Additionally, tutorial presenter= s will be offered to publish a paper of up to 20 pages in the LNCS conferen= ce proceedings, not including references.

A proposal for a tutoria= l must contain the subject of the tutorial, a proposed timeline, a note on = previous similar tutorials (if applicable) and the differences to this inca= rnation, and a brief biography of the presenter. The proposal should not exceed 2 pages.

RV-CuBES: A Workshop Replacement for the Competition

The Runtime Verification= Competition will not be running in 2017. In its place a Workshop is being = organised to discuss the future of the competition and showcase existing Ru= ntime Verification tools. Please see the relevant page<= /a> on the conference website for details.


Organization

General Chair

Klaus Havelund, NASA Jet Propulsion La= boratory, USA

Program Chairs

Shuvendu = Lahiri, Microsoft Research, USA
Giles Reger, University = of Manchester, UK

Finance Chair

Oleg Sokolsky, University= of Pennsylvania, USA

Publicity Chair

Ayoub Nouri, University Gr= enoble Alpes, France

Local Organisation Ch= airs

Grigory Fedyuk= ovich, University of Washington, USA
Rahul Kumar, Microsoft Research, USA

Program Committee=

Wolfgang Ahrendt, C= halmers Univ. of Technology/Univ. of Gothenburg, Sweden
Cyrille Artho, KTH Roy= al Institute of Technology, Sweden
Howard B= arringer, The University of Manchester, UK
Ezio Bartocci, Vienna Universi= ty of Technology, Austria
Andreas Bauer, KUKA Systems, Ge= rmany
Saddek Bensalem, &n= bsp;University of Grenoble Alpes/VERIMAG, France
Eric Bodden, Paderborn University / F= raunhofer IEM, Germany
Borzoo Bonakdarpour, McM= aster University, Canada
Christian = Colombo, University of Malta, Malta
Ylies Falcone, University Grenoble Alpe= s/Inria, France
Grigory Fe= dyukovich, University of Washington, USA
Lu Feng, University = of Virginia, USA
Patrice Godefroid, = Microsoft Research, USA
Jean Goubault-Larrecq= , CNRS/ENS de Cachan, France
Alex Groce, N= orthern Arizona University, USA
Radu Grosu, Vienna= University of Technology, Austria
Sylvain Hall=E9, University of= Qu=E9bec at Chicoutimi, Canada
Marieke Huisman,&= nbsp;University of Twente, Netherlands
Franjo Ivancic, Goog= le, USA
Bengt Jonsson, Uppsala Unive= rsity, Sweden
Felix Kla= edtke, NEC Europe Ltd., Germany
Rahul Kumar, Microsoft Research, USA
Kim Larsen, Aalborg Univers= ity, Denmark
Insup Lee= , University of Pennsylvania, USA
Axel Legay, Inria Renne= s, France
Martin Leucker, Univ= ersity of L=FCbeck, Germany
Ben Liv= shits, Imperial College, UK
David Lo, Singapore M= anagement University, Singapore
Francesco= Logozzo, Facebook, USA
Parthasarathy Madhusudan, Univ= ersity of Illinois at Urbana-Champaign, USA
Leonardo Mariani, University of Milan Bicocc= a, Italy
Madan M= usuvathi, Microsoft Research, USA
Ayoub Nouri, Universit= y of Grenoble Alpes, France
Gordon Pace, Universit= y of Malta, Malta
Doron Peled, Bar Ilan Univ= ersity, Israel
Veselin Raychev, ETH= Zurich, Switzerland
Grigore Rosu<= /a>, University of Illinois at Urbana-Champaign, USA
Cesar Sanchez, IMDEA So= ftware Institute, Spain
Gerardo Schneider, Ch= almers Univ. of Technology/Univ. of Gothenburg, Sweden
Rahul Sharma, = Microsoft Research, India
Julien Signoles, CEA LIST, France
Scott Smolka, Stony B= rook University, USA
Oleg Sokolsky, Unive= rsity of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller,&nb= sp;Stony Brook University, USA
Volker Stolz, = University of Olso, Norway
Frits Vaandrager, Radboud Uni= versity, Netherlands
Neil Walkinshaw, University of Leicester, UK
Chao Wang, University of= Southern California, USA
Eugen Zalinescu,&nb= sp;Technische Universitat M=FCnchen, Germany

 

--_000_D517C30C19FA3klaushavelundjplnasagov_-- --===============1155077379360295377== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov --===============1155077379360295377==--