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 May, 2025
- Tutorial proposal submission: 30 May, 2025
- Notification: 11 July, 2025
- Camera-ready: 27 July, 2025
- Workshops: 15 September, 2025
- Conference: 15-19 September, 2025
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. The EasyChair link will be provided soon.
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 PROPOSAL SUBMISSIONS
Proposals are due by email to the PC chairs: April 15, 2025.
See Call for Workshops for more details.
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:
