Runtime Verification 2026

Conference Venue: Queen's University

The conference will take place on the main campus of Queen’s University at Kingston. Queen’s was established in 1841 by Queen Victoria on the shore of lake Ontario. Queen’s currently boasts a student body of around 33,000 and consistently ranks among the top Universities in the world by various ranking organizations.

Queen's University Campus

Sponsored by:

Formal Methods Europe