The Runtime Verification Conference 2025 invites proposals for 1-day workshops. The goal of workshops is to provide an opportunity for participants to discuss recent topics in the domain of runtime verification and related domains. RV 2025 Workshops will be held on September TBA before the main conference.
Workshop Proposals
Workshop proposals will be reviewed by the program chairs and members of the steering committee. Proposals must consist of the following two parts:
I-Technical Information (1 page)
Scientific justification of the proposed topic, its significance, and relevance to the RV community, as well as a list of previous or related workshops (if relevant).
II- Organizational Information (1 page)
- Contact information of the workshop organizers
- Main contact for the workshop (i.e., a workshop chair)
- Short bio of organizers
- Estimate of the audience size
- Potential invited speakers
- Procedures for selecting talks, papers, and participants
- Special technical needs
- Links to a preliminary website of the workshop and call for papers (if possible)
All accepted workshops will be asked to provide a webpage, a call for talks/papers, and a list of invited speakers. The workshop participants will be required to register for the workshop through the RV main registration page.
Submission
Send your proposal via email to the PC chairs at TBA.