[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*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 <sea...@queensu.ca> (Queen's University, Canada)
* Klaus Havelund <klaus.havel...@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$
