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
2 months 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 Kauffman, General chair, Queen’s University
  • Giulia Pedrielli, General chair, Arizona State University
  • Lars Lindemann, Publicity 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+1 613-547-6167

  • 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, K7I 3B1

    MapHotel site+1 613 544 4434

  • Prince George Hotel

    1.2 km from the venue

    200 Ontario Street, Kingston, K7L 2Y9

    Map+1-613-547-9037

  • Delta

    1.3 km from the venue

    1 Johnson Street, Kingston

    Map

Keep planning

Related events

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