[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



The 17th International Conference on Runtime Verification

September 13-16 2017, Seattle, WA, USA

Website: http://rv2017.cs.manchester.ac.uk <http://rv2017.cs.manchester.ac.uk/>

Program: http://easychair.org/smart-program/RV2017/

Affiliated Event:

 RV-CuBES - An International Workshop on Competitions, Usability,

 Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

=== Early Registration and Accommodation Deadline ===

*** August 13 ***

=== OVERVIEW ===

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:

   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.


Rodrigo Fonseca, Brown University, USA:

“The Design and Applications for a Tracing Plane for Distributed Systems”

Vlad Levin and Jakob Lichtenberg, Microsoft, USA:

   “Windows Driver Verification Platform”

Andreas Zeller, Saarland University, Germany:

   “Learning Input Languages for Runtime Verification”


Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:

   “P : Modular and Safe Asynchronous Programming”

Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:

   “Machine-learning State Properties”

Adrian Francalanza, University of Malta, Malta:

   “Foundations For Runtime Monitoring”

=== VENUE ===

The 17th International Conference on Runtime Verification will be held

in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is

within walking distance of the famous Pike Place Market, Seattle Art

Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The

weather in September still permits many open-air opportunities to shop,

eat, and even sail in the Elliott Bay. Exceptionally well organized,

Seattle’s public transport connects the conference venue with the

Seattle Center, which is the home of popular attractions like the Space

Needle, EMP Museum, and Chihuly Garden and Glass.


Registration is available using the web-based registration form,

with online payment on a secure website. Please use one form per

attendee. Early registration means on or before August 13, 2017. Late

registration means after August 13, 2017.

Different possibilities of registration are available:

Tutorial Day Only (13th September): 210 USD

Conference including tutorial day and RV-CuBES (13-16th September)

           Full Registration

               Early: 680 USD,

               Late (after 13 August): 780 USD

           Student Registration

               Early: 480 USD,

               Late (after 13 August): 580 USD


General Chair

   Klaus Havelund, NASA Jet Propulsion Laboratory, 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 of Grenoble Alpes, France

Local Organisation Chairs

   Grigory Fedyukovich, University of Washington, USA

   Rahul Kumar, Microsoft Research, USA

RV-CuBES, PC chairs

   Giles Reger, University of Manchester, UK

   Klaus Havelund, NASA Jet Propulsion Laboratory, USA

=== SPONSORS ===



--- end --

Reply via email to