<html><head></head><body><div><div><span style="font-size: 14.666667px;"><b>-------------------------- CALL FOR PRESENTATION -------------------------------------------------</b></span></div><div><b>VASSAL Workshop on Software Verification and Runtime Analysis</b></div><div><a href="https://urldefense.com/v3/__https://vassal.fit.vut.cz/vassal-workshop-on-software-verification-and-runtime-analysis__;!!IBzWLUs!W-XLHvJNPZPBYWjolq2wi-t-g61WpqtKOeVYNOZc7hJkpyVHqkQKHLDh9KddBVErjL_qeoaVp4qUlm59RTPl3qOVAFRKhgQnpSTW1Wm4$">https://vassal.fit.vut.cz/vassal-workshop-on-software-verification-and-runtime-analysis</a></div><div>September 15, 2025 in Graz, Austria</div><div><b>-------------------------------------------------------------------------------------------------------------------</b></div><div><br></div><div>We invite presentation abstracts (1-2 pages) describing ongoing research, recent results, concrete
use cases, or works already published in international venues.</div><div><br></div><div>At least one author of the accepted presentation is expected to present their work at the workshop
at Graz, Austria. </div><div><br></div><div><div><b>Dates:</b></div><div>- Submission deadline: July 16, 2025</div><div>- Notification: July 30, 2025 </div><div>- Workshop: September 15, 2025</div><div><br></div></div><div><b>Topics:</b></div><div>We welcome submissions on all aspects of software verification, runtime analysis, and system
safety, including but not limited to:</div><div>- Logic, automata and decision procedures</div><div>- Formal specification languages and correctness proofs</div><div>- Runtime monitoring, enforcement, and dynamic analysis</div><div>- Automated verification, synthesis, and static analysis</div><div>- Integration of static verification with runtime monitoring</div><div>- AI-driven techniques for verification and system analysis</div><div>- Economic evaluation of verification tools in industry</div><div><br></div><div>Contributions addressing challenges in safety-critical systems (e.g., automotive, aerospace,
medical devices) are especially encouraged</div></div><div><br></div><div><div><b>Submissions:</b></div><div>Presentation abstracts (1-2 pages) must be written in English and submitted electronically in PDF
format using the link below. The 1-2 page limit includes all text and figures, but excludes
references. </div><div><br></div><div>Submission link: <a href="https://urldefense.com/v3/__https://easychair.org/conferences?conf=vassal2025__;!!IBzWLUs!W-XLHvJNPZPBYWjolq2wi-t-g61WpqtKOeVYNOZc7hJkpyVHqkQKHLDh9KddBVErjL_qeoaVp4qUlm59RTPl3qOVAFRKhgQnpVQ2LLw1$">https://easychair.org/conferences?conf=vassal2025</a></div></div><div><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Ubuntu; font-size: 14.666667px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; text-decoration: none;"><div><b>Organisers:</b></div><div>Julien Signoles (Université Paris-Saclay, CEA, List) and Milan Češka (Brno University of Technology)</div></div><br class="Apple-interchange-newline"><div><span></span></div></body></html>