# International Conference on Runtime Verification

- Dates: 6 October 2026 to 9 October 2026
- Location: Queen's University, Kingston, Canada
- Organiser: Runtime Verification
- Industry: Cloud & DevOps

## About

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 links

- [Official website](https://runtime-verification.github.io/events/)

## Topics

- IT & Technology

## Speakers

- Sean Kauffman, General chair, Queen’s University
- Giulia Pedrielli, General chair, Arizona State University
- Lars Lindemann, Publicity chair, ETH Zurich

## Where to stay

- **Hochelaga Inn**: 630 m from the venue
- **Frontenac Club Inn**: 1.0 km from the venue, 225 King Street East, Kingston
  - Phone: +1 613-547-6167
- **Plaza Hotel**: 1.1 km from the venue
- **The Queen's Inn**: 1.1 km from the venue
- **Residence Inn**: 1.1 km from the venue, Kingston
- **Kingston Marriott**: 1.1 km from the venue, 285 King Street East, Kingston, K7I 3B1
  - [Hotel website](https://www.marriott.com/en-us/hotels/ygkmc-kingston-marriott/overview/)
  - Phone: +1 613 544 4434
- **Prince George Hotel**: 1.2 km from the venue, 200 Ontario Street, Kingston, K7L 2Y9
  - Phone: +1-613-547-9037
- **Delta**: 1.3 km from the venue, 1 Johnson Street, Kingston

## Related events

- [International Conference on Implementation and Application of Automata](https://www.luminik.io/events/international-conference-on-implementation-and-application-of-automata/)
- [International Conference of Materials, Chemistry & Fitness-for-Service Solutions for Nuclear Systems](https://www.luminik.io/events/international-conference-of-materials-chemistry-fitness-for-service-solutions-for-nuclear-systems-kingston/)
- [Granite Travel Trade Expos](https://www.luminik.io/events/granite-travel-trade-expos-4f80e1a1f034/)
- [Annual Kingston Conference on International Security (KCIS)](https://www.luminik.io/events/annual-kingston-conference-on-international-security/)
- [Product Management for Technical Products and Services](https://www.luminik.io/events/product-management-for-technical-products-and-services-vienna/)
- [International Conference on Engineering Technology, Applied Sciences, Computing & Networking (EACN)](https://www.luminik.io/events/international-conference-on-engineering-technology-applied-sciences-computing-networking/)

Source: https://www.luminik.io/events/international-conference-on-runtime-verification/