[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================
Call for Tool Showcase Submissions
International Conference on Runtime Verification (RV26)
October 6-9, 2026 @ Kingston, Canada
https://urldefense.com/v3/__https://rv2026.smithengineering.queensu.ca/__;!!IBzWLUs!ULAkRPlo1xsISGF8ZHRcKW6KPvS7bXAZlLK3YIx5ZSQji-X29lEMId869LqYweOC1x_mQ2Le_iumx26DoXknxI72MFWjwlLV$
==================================
The 26th International Conference on Runtime Verification (RV 2026)
invites contributions to its **Tool Showcase**, dedicated to showcasing
mature, emerging, and experimental tools in runtime verification and
closely related areas.
The conference will be held at beautiful Queen's University in Kingston,
Canada on the shores of Lake Ontario. More details can be found at
https://urldefense.com/v3/__https://rv2026.smithengineering.queensu.ca/tools/__;!!IBzWLUs!ULAkRPlo1xsISGF8ZHRcKW6KPvS7bXAZlLK3YIx5ZSQji-X29lEMId869LqYweOC1x_mQ2Le_iumx26DoXknxI72MPcaitG6$ .
=== Dates ===
Submission Deadline: August 10, 2026
Notification: August 17, 2026
All deadlines are anywhere on Earth.
See https://urldefense.com/v3/__https://rv2026.smithengineering.queensu.ca/tools/__;!!IBzWLUs!ULAkRPlo1xsISGF8ZHRcKW6KPvS7bXAZlLK3YIx5ZSQji-X29lEMId869LqYweOC1x_mQ2Le_iumx26DoXknxI72MPcaitG6$ for **contribution
requirements** and **submission instructions**!
=== Objectives and Scope ===
The Tool Showcase aims to map out the landscape of available RV and
RV-related tools and to create an openly accessible overview of their
capabilities and performance characteristics. By bringing these tools
together in a common forum we aim to:
* Provide a clear snapshot of the current state of the art in RV tooling.
* Encourage reproducibility and transparency in tool evaluation.
* Motivate performance and usability improvements across multiple
dimensions.
* Foster collaboration between research groups working on complementary
aspects of runtime verification technology.
There will be a light review process for the tool showcase, mainly
evaluating relevance to RV, ease of running the tool, and clarity of
accompanying extended abstract. Everyone is welcome to contribute a tool
package (details below), and present it at the conference in the Tool
Showcase.
We solicit submissions of tools related to runtime verification and
adjacent areas, including (but not limited to):
* Specification languages and monitoring frameworks
* Online and offline monitoring engines
* Stream-based and trace-based analysis tools
* Parametric monitoring and decentralized monitoring tools
* Hybrid systems and cyber-physical systems monitoring
* Security and privacy monitoring tools
* Testing, enforcement, and repair frameworks
* Benchmarking infrastructures and trace repositories
* Toolchains integrating verification, testing, and deployment
Tools may target any application domain (e.g., distributed systems,
blockchain/smart contracts, embedded systems, cyber-physical systems, AI
systems, etc.). Both academic prototypes and industrial-strength tools
are welcome.
=== Outcomes of Tool Acceptance ===
Accepted tools will:
* Be presented in a dedicated Tool Session at RV 2026.
* Be included in a centralized RV tool and benchmark repository.
* Have their associated extended abstracts published in the RV 2026
proceedings.
* Contribute performance data to a shared overview of the RV tool ecosystem.
Our broader objective is to catalyze collaborative progress in runtime
verification tooling—encouraging joint efforts to improve tools along
any interesting dimension, including performance, formalism,
scalability, domain applicability, usability, and integration.
=== Organiziation ===
General Chairs for RV 2026
* Sean Kauffman (Queen's University, Canada)
* Giulia Pedrielli (Arizona State University, USA)
Tool Showcase Chair
* Houssam Abbas <[email protected]>
Publicity Chair
* Lars Lindemann (ETH Zurich, Switzerland)
=== Contact ===
All questions about submissions should be emailed to the General Chairs.
