-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Datum: Wed, 22 Mar 2017 20:15:29 -0700 Von: Klaus Havelund compscience.announcement@gmail.com An: Klaus Havelund compscience.announcement@gmail.com

*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 software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally 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, 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, safety/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 highlight topics, papers falling 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-verification.org.

RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature 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 http://cs.brown.edu/~rfonseca/, Brown University, USA - Vlad Levin and Jakob Lichtenberg https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/tools-for-verifying-drivers, Microsoft, USA - Andreas Zeller https://www.st.cs.uni-saarland.de/zeller/, Saarland University, Germany

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 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 EasyChair submission page here:

https://easychair.org/conferences/?conf=rv17

The page limitations mentioned below 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, 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 members of the Program Committee.

- *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) 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. - *Tool Demonstration Papers* (up to 8 pages, not including references) 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 http://link.springer.com/journal/10703. Tutorial Submissions

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, not including references.

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 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 Runtime Verification tools. Please see the relevant page http://rv2017.cs.manchester.ac.uk/rv-cubes/ on the conference website for details.

Organization

*General Chair*

Klaus Havelund http://www.havelund.com/, NASA Jet Propulsion Laboratory, USA

*Program Chairs*

Shuvendu Lahiri https://www.microsoft.com/en-us/research/people/shuvendu/, Microsoft Research, USA Giles Reger http://www.cs.man.ac.uk/~regerg/, University of Manchester, UK

*Finance Chair*

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

*Publicity Chair*

Ayoub Nour http://www-verimag.imag.fr/~nouri/i, University Grenoble Alpes, France

*Local Organisation Chairs*

Grigory Fedyukovich http://homes.cs.washington.edu/~grigory/about.html, University of Washington, USA Rahul Kumar http://rahulku.com/, Microsoft Research, USA

*Program Committee*

Wolfgang Ahrendt http://www.cse.chalmers.se/~ahrendt/, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho https://people.kth.se/~artho/, KTH Royal Institute of Technology, Sweden Howard Barringer http://www.manchester.ac.uk/research/Howard.barringer/, The University of Manchester, UK Ezio Bartocci http://www.eziobartocci.com/, Vienna University of Technology, Austria Andreas Bauer http://www.immerundewig.at/, KUKA Systems, Germany Saddek Bensalem http://www-verimag.imag.fr/~bensalem/, University of Grenoble Alpes/VERIMAG, France Eric Bodden http://www.bodden.de/, Fraunhofer SIT/Technische University Darmstadt, Germany Borzoo Bonakdarpour http://www.cas.mcmaster.ca/borzoo/, McMaster University, Canada Christian Colombo https://www.um.edu.mt/ict/cs/staff/christian_colombo, University of Malta, Malta Ylies Falcone http://www.ylies.fr/, University Grenoble Alpes/Inria, France Grigory Fedyukovich http://homes.cs.washington.edu/~grigory/about.html, University of Washington, USA Lu Feng https://www.cs.virginia.edu/~lufeng/, University of Virginia, USA Patrice Godefroid https://patricegodefroid.github.io/, Microsoft Research, USA Jean Goubault-Larrecq http://www.lsv.ens-cachan.fr/~goubault/, CNRS/ENS de Cachan, France Alex Groce http://eecs.oregonstate.edu/people/groce-alex, Northern Arizona University, USA Radu Grosu https://ti.tuwien.ac.at/cps/people/grosu, Vienna University of Technology, Austria Sylvain Hallé http://leduotang.ca/sylvain/, University of Québec at Chicoutimi, Canada Marieke Huisman http://wwwhome.ewi.utwente.nl/~marieke/, University of Twente, Netherlands Franjo Ivancic https://sites.google.com/site/ivancic/, Google, USA Bengt Jonsson http://user.it.uu.se/~bengt/, Uppsala University, Sweden Felix Klaedtke https://sites.google.com/site/felixklaedtkeshomepage/, NEC Europe Ltd., Germany Rahul Kumar http://rahulku.com/, Microsoft Research, USA Kim Larsen http://people.cs.aau.dk/~kgl/, Aalborg University, Denmark Insup Lee http://www.cis.upenn.edu/~lee/home/home/index.shtml, University of Pennsylvania, USA Axel Legay https://people.irisa.fr/Axel.Legay/, Inria Rennes, France Martin Leucker https://www.isp.uni-luebeck.de/leucker, University of Lübeck, Germany Ben Livshits http://research.microsoft.com/en-us/um/people/livshits/, Imperial College, UK David Lo http://www.mysmu.edu/faculty/davidlo/, Singapore Management University, Singapore Francesco Logozzo https://www.linkedin.com/in/francesco-logozzo-4106386, Facebook, USA Parthasarathy Madhusudan http://madhu.cs.illinois.edu/, University of Illinois at Urbana-Champaign, USA Leonardo Mariani http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php, University of Milan Bicocca, Italy Madan Musuvathi https://www.microsoft.com/en-us/research/people/madanm/, Microsoft Research, USA Ayoub Nouri http://www-verimag.imag.fr/~nouri/, University of Grenoble Alpes, France Gordon Pace http://www.cs.um.edu.mt/gordon.pace/, University of Malta, Malta Doron Peled http://u.cs.biu.ac.il/~doronp/, Bar Ilan University, Israel Veselin Raychev http://www.srl.inf.ethz.ch/raychev.php, ETH Zurich, Switzerland Grigore Rosu http://fsl.cs.illinois.edu/index.php/Grigore_Rosu, University of Illinois at Urbana-Champaign, USA Cesar Sanchez http://software.imdea.org/~cesar/, IMDEA Software Institute, Spain Gerardo Schneider, http://www.cse.chalmers.se/~gersch/ Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma https://cs.stanford.edu/people/sharmar/, Microsoft Research, India Julien Signoles http://julien.signoles.free.fr/index.en.html, CEA LIST, France Scott Smolka http://www3.cs.stonybrook.edu/~sas/, Stony Brook University, USA Oleg Sokolsky https://www.cis.upenn.edu/~sokolsky/, University of Pennsylvania, USA Bernhard Steffen http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html , University of Dortmund, Germany Scott Stoller http://www3.cs.stonybrook.edu/~stoller/, Stony Brook University, USA Volker Stolz http://www.mn.uio.no/ifi/personer/vit/stolz/, University of Olso, Norway Frits Vaandrager http://www.cs.ru.nl/~fvaan/, Radboud University, Netherlands Neil Walkinshaw http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw, University of Leicester, UK Chao Wang http://www-bcf.usc.edu/~wang626/, University of Southern California, USA Eugen Zalinescu http://www2.in.tum.de/hp/Main?nid=315, Technische Universitat München, Germany _______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org