RV 2025
25th International Conference
on Runtime Verification
September 15–19, 2025
Graz, Austria
Conference
The 25th International Conference on Runtime Verification (RV25) will take place in the city of Graz, Austria from September 15–19, 2025. The conference venue is the Inffeldgasse Campus of the Graz University of Technology.
Important Dates
- Paper submission:
30 MayJune 6, 2025 (updates possible until June 10) - Tutorial proposal submission:
30 MayJune 6, 2025 - Notification: 11 July, 2025
- Camera-ready: 27 July, 2025
- Workshops: 15 September, 2025
- Conference: 16-19 September, 2025
All deadlines are anywhere on Earth.
Paper Submissions
There are four categories of papers that can be submitted (page limits excluding references):
- Regular Papers: up to 16 pages
- Short Papers: up to 8 pages
- Tool Demonstration Papers: up to 8 pages
- Benchmark Papers: up to 8 pages
Papers may be submitted using the EasyChair submission page.
Please see the Call for Papers for more details.
Tutorials
We also invite tutorials, which are up-to-two-hour presentations on a selected topic.
- Tutorial proposals: up to 2 pages
- Proposal deadline: same as regular papers
Tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. For more information, please see the Call for Papers.
WORKSHOP
RV’25 hosts three co-located workshops on September 15, 2025:
- VASSAL
- RVmeetsMBD
- RVCase
For more information, visit the workshop page.
Organization
General Chair
Ezio Bartocci
TU Wien, Austria
Program Chairs
Bettina Könighofer
Graz University of Technology, Austria
Hazem Torfah
Chalmers University of Technology, Sweden
Local Chair
Roderick Bloem
Graz University of Technology, Austria
Publicity Chair
Martin Tappler
TU Wien, Austria
Sponsors
The RV 2025 conference is sponsored by:
