---
title: "RV2026 Tool Showcase: Call for Speakers"
description: "Speak at RV2026 Tool Showcase. Submission deadline: Aug 10, 2026. Event Oct 6, 2026. Kingston, Canada, October 6-9, 2026. Listed on EasyChair."
canonical: https://www.luminik.io/call-for-speakers/directory/rv2026-tool-showcase/
source: html
generated_at: 2026-08-01T13:29:40.042Z
---

[← All calls for speakers](/call-for-speakers/)

# RV2026 Tool Showcase

Submissions close Aug 10, 2026.9 days left

 Submissions close

Aug 10, 2026

 Event dates

Oct 6, 2026

 Location

Kingston, Canada, October 6-9, 2026

 Listed on

EasyChair

 Topics named in the call

- runtime verification
- monitoring
- tools
- formal methods

[Apply on EasyChair ](https://easychair.org/cfp/RV2026Tools)[Event website ](https://rv2026.smithengineering.queensu.ca/tools/)

This call has closed. The calls below are still open.

This call was listed on EasyChair, and applications go there, not to us. We hold no event page for this conference, so everything above is what the listing itself stated, as ofAug 1, 2026\. Confirm the deadline on the call before you write a submission.

## Other open calls on similar topics

- [29th Brazilian Symposium on Formal MethodsCloses Aug 7, 2026 · via EasyChair](/call-for-speakers/directory/29th-brazilian-symposium-on-formal-methods/)
- [Workshop on Quantum Software 2026Closes Sep 8, 2026 · via EasyChair](/call-for-speakers/directory/workshop-on-quantum-software-2026/)
- [International Conference on Foundations and Formal Methods for Software and SystemsCloses Oct 15, 2026 · via EasyChair](/call-for-speakers/directory/international-conference-on-foundations-and-formal-methods-for-software-and-syst/)