Cloud & DevOps
International Conference on Runtime Verification
The International Conference on Runtime Verification is an annual event focused on the field of runtime verification. It serves as a gathering for researchers and practitioners interested in the theory and application of runtime verification techniques.
The essentials
Event details
- Dates
- 6 October 2026 to 9 October 2026
- Organiser
- Runtime Verification
- Industry
- Cloud & DevOps
Agenda themes
Topics covered
- IT & Technology
On stage
Speakers
- Sean KauffmanGeneral chair, Queen’s University
- Giulia PedrielliGeneral chair, Arizona State University
- Lars LindemannPublicity chair, ETH Zurich
Logistics
Where to stay
Places to stay near the venue.
Hochelaga Inn
Frontenac Club Inn
225 King Street East, Kingston
Plaza Hotel
The Queen's Inn
Residence Inn
Kingston
Kingston Marriott
285 King Street East, Kingston, K7I 3B1
Prince George Hotel
200 Ontario Street, Kingston, K7L 2Y9
Delta
1 Johnson Street, Kingston
Stay on it
Get the next edition
When International Conference on Runtime Verification announces its next edition, or these dates change, we read it from the organiser's own site. One email when that happens, nothing else.
Plan this event
Work out who to meet here
Luminik sources the attendee picture for an event like International Conference on Runtime Verification, enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Spot something wrong on this page? Report a correction and we will fix it.
Is this your event? Verify it with your work email: one click in your inbox proves it is yours, we approve, and the badge goes up, usually within a day. Prefer the form?