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.

Official website
8 weeks until it opens.

The essentials

Event details

Dates
6 October 2026 to 9 October 2026
Location
Queen's University, Kingston, Canada
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

    630 m from the venue

    Map

  • Frontenac Club Inn

    1.0 km from the venue

    225 King Street East, Kingston

    Map

  • Plaza Hotel

    1.1 km from the venue

    Map

  • The Queen's Inn

    1.1 km from the venue

    Map

  • Residence Inn

    1.1 km from the venue

    Kingston

    Map

  • Kingston Marriott

    1.1 km from the venue

    285 King Street East, Kingston

    MapHotel site

  • Prince George Hotel

    1.2 km from the venue

    200 Ontario Street, Kingston

    Map

  • Delta

    1.3 km from the venue

    1 Johnson Street, Kingston

    Map

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.

Book a 20-min walkthrough

Spot something wrong on this page? Report a correction and we will fix it.