Conference Program

We are excited to announce that the conference program for the 24th International Conference on Runtime Verification is now available!

You can explore the full conference program, including details on speakers, special sessions, the conference brochure, and proceedings, through the following links:

Tool Showcase  

There will be a Tool Showcase session on 16 October, for which we call for tool presentations. We encourage all developers of RV-related tools to present their software (independently of whether or not they have a paper accepted at RV'24). Tables and poster stands will be provided. To register for presentation, please send an email to rv2024@easychair.org with the name(s) of the presenter(s) and of the tool.

Social Dinner  

The social dinner will take place at Rumelihisari Iskele, a fish and small-plates restaurant located at the narrowest point of the Bosphorus, just a 15-minute walk from the conference venue. The dinner will be held on Wednesday, October 16th, starting from 19:00.