[TYPES/announce] RVCase 2025 Call for Submissions

[Sean Kauffman]

*Call for Submissions: RVCase 2025*

Runtime Verification Case-Studies Workshop
September 15, 2025, as a satellite even of the International Conference 
on Runtime Verification in Graz, Austria
https://urldefense.com/v3/__https://seanmk.com/rvcase/__;!!IBzWLUs!SHVhZS0ICgslRkh9LWefbitiysdv-rE9lghOvthcQbKaXCz8UQVhrvjyqBl1xYrjQv_XC-9LJmx0aixI5O6Cz9ASkJd8YRhq$ 

Despite the growing popularity of Runtime Verification (RV) in both 
safety-critical and non-safety-critical applications, few publicly 
available examples exist of formally-specified systems for RV.  
Published examples of system specifications can provide a shared vehicle 
for researchers and practitioners to discuss the applicability of their 
ideas, and can assist in comparing the viability of approaches.  The 
*Runtime Verification Case-Studies Workshop (RVCase)* is a forum to 
share and discuss sample applications and their specifications that have 
been collected by the RV community.  The goal of the workshop is to 
identify specifications in various formalisms for a range of systems.  
The workshop is open to submissions from both researchers and 
practitioners and aims to include as many examples of systems and their 
specifications as possible.


_SUBMISSIONS_

Submissions are handled via EasyChair at
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rvcase25__;!!IBzWLUs!SHVhZS0ICgslRkh9LWefbitiysdv-rE9lghOvthcQbKaXCz8UQVhrvjyqBl1xYrjQv_XC-9LJmx0aixI5O6Cz9ASkJGwunMP$ 

Topics of Interest
* Systems to specify
* Specifications for monitoring
* Software instrumentation for monitoring
* Log analysis
* Comparisons of where RV is applicable versus less formal solutions

Artifacts of Interest
* Models of systems with specifications
* Software with instrumentation and monitoring
* Execution traces with specifications

RVCase accepts presentation abstracts (1-2 pages in LNCS style including 
references). Specification and system artifacts are encouraged but not 
required. Authors of all accepted submissions will present their work at 
the workshop (in person).


_TIMELINE_

* July 18: Submission Deadline
* July 25: Acceptance Notification
* September 1: Final Versions for Informal Publication on Website
* September 15: Workshop Day

All dates are in 2025 and all deadlines are "anywhere on Earth" 
(UTC-12). The organizers would appreciate an early informal indication, 
via email, of the intention to submit to RVCase 2025.


_ORGANIZERS_

* Sean Kauffman <sean.k at queensu.ca> (Queen's University, Canada)
* Klaus Havelund <klaus.havelund at jpl.nasa.gov> (Jet Propulsion Lab, USA)


_WEBSITE_

For more details, please visit the RVCase 2025 website at
https://urldefense.com/v3/__https://seanmk.com/rvcase/__;!!IBzWLUs!SHVhZS0ICgslRkh9LWefbitiysdv-rE9lghOvthcQbKaXCz8UQVhrvjyqBl1xYrjQv_XC-9LJmx0aixI5O6Cz9ASkJd8YRhq$