RV25 – 25th International Conference on Runtime Verification

a picture of the city Graz, Austria, from on top the city's castle mountain. In the foreground you can see the iconic clocktower.

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
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 which 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.

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