<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="elementToProof"
style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-size: 16pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">VSTTE 2025</span></div>
<div class="elementToProof"
style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">17th International Conference on
Verified Software: Theories, Tools, and Experiments</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">October 06-07, 2025, Menlo
Park, California, USA<br>
Co-located with Formal Methods in Computer-Aided Design 2025 (</span><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_M2QJgEY$" target="_blank" id="OWAe25769ea-069e-d37e-b553-538bb971447e" class="x_x_x_x_x_x_OWAAutoLink" title="https://fmcad.org/FMCAD25/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0" style="color: rgb(17, 85, 204); margin: 0px;">FMCAD 2025</a></u></span><span
style="color: rgb(0, 0, 0);">)</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Key Information</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 0pt 0px; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Conference Website: </span><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://systemf.epfl.ch/etc/vstte2025/__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_1-pFGoM$" target="_blank" id="OWAf8afbeca-3bc2-feb1-7448-0680696e9efd" class="x_x_x_x_x_x_OWAAutoLink moz-txt-link-freetext" title="https://systemf.epfl.ch/etc/vstte2025/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="1" style="color: rgb(17, 85, 204); margin: 0px;">https://systemf.epfl.ch/etc/vstte2025/</a></u></span><span
style="color: rgb(0, 0, 0);"><br>
Paper submission Deadline: July 18th AoE</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 0pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
This year, VSTTE accepts both regular (short and long) papers to
be included in post-conference proceedings and work-in-progress
(presentation only) papers.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 18pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Overview</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
The goal of the VSTTE conference series is to advance the state of
the art in the science and technology of software verification,
through the interaction of theory development, tool evolution, and
experimental validation.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
The Verified Software Initiative (VSI), spearheaded by Tony Hoare
and Jayadev Misra, is an ambitious research program for making
large-scale verified software a practical reality. The
International Conference on Verified Software: Theories, Tools and
Experiments (VSTTE) is the main forum for advancing the
initiative. VSTTE brings together experts spanning the spectrum of
software verification in order to foster international
collaboration on the critical research challenges. The theoretical
work includes semantic foundations and logics for specification
and verification, and verification algorithms and methodologies.
The tools cover specification and annotation languages, program
analyzers, model checkers, interactive verifiers and proof
checkers, automated theorem provers and SAT/SMT solvers, and
integrated verification environments. The experimental work drives
the research agenda for theory and tools by taking on significant
specification/verification exercises covering hardware, operating
systems, compilers, computer security, parallel computing, and
cyber-physical systems.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 18pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Call for papers and
work-in-progress presentations</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
VSTTE 2025 welcomes submissions describing significant advances in
the production of verified software, i.e. software that has been
proved to meet its functional specifications. Submissions of
theoretical, practical, and experimental contributions are equally
encouraged, including those that focus on specific problems or
problem domains. We are especially interested in submissions
describing large-scale verification efforts that involve
collaboration, theory unification, tool integration, and
formalized domain knowledge. We also welcome papers describing
novel experiments and case studies evaluating verification
techniques and technologies.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
In addition to regular papers, we welcome submissions on
in-progress verified software projects to a “work-in-progress
(presentation-only)” track. Work-in-progress contributions will
not appear in the post-proceedings of the conference. Submissions
describing work of interest to the software verification
community, but that could not be accepted for publication in the
conference proceedings, may be invited to the “work-in-progress
(presentation-only)” track, on a case-by-case basis.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
Topics of interest for this conference include, but are not
limited to, requirements modeling, specification languages,
specification/verification/certification case studies, formal
calculi, software design methods, automatic code generation,
refinement methodologies, compositional analysis, verification
tools (e.g., static analysis, dynamic analysis, model checking,
theorem proving, satisfiability), tool integration, benchmarks,
challenge problems, and integrated verification environments.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 14pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Submissions</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
VSTTE 2025 accepts both long (limited to 16 pages, excluding
references) and short (limited to 10 pages, excluding references)
paper submissions. Short submissions also cover “verification
pearls” describing an elegant proof or proof technique. Submitted
research papers and system descriptions must be original and not
submitted for publication elsewhere.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Papers may be submitted via
EasyChair at the </span>
<span style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=vstte25__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_dyTzVxU$" target="_blank" id="OWAf89b7b54-7bce-b632-84fc-fb5faa9b3d22" class="x_x_x_x_x_x_OWAAutoLink" title="https://easychair.org/conferences/?conf=vstte25" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="2" style="color: rgb(17, 85, 204); margin: 0px;">VSTTE 2025
conference submission page</a></u></span><span
style="color: rgb(0, 0, 0);">. The use of LaTeX and the
</span><span style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_F0j23dE$" target="_blank" id="OWA9ecf4760-23a9-a2e1-eae8-e3f2627da157" class="x_x_x_x_x_x_OWAAutoLink" title="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="3" style="color: rgb(17, 85, 204); margin: 0px;">Springer LNCS
class files</a></u></span><span style="color: rgb(0, 0, 0);"> is
strongly encouraged. Submissions that are not in the proper
format or are too long will not be considered.</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 12pt 0px; font-size: 12pt; color: rgb(0, 0, 0);">
Accepted regular-track papers will be included in the
post-conference proceedings of VSTTE 2025, which will be published
as a LNCS volume by Springer-Verlag. Authors of those papers will
have to transfer copyright of their contribution to
Springer-Verlag.</div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 18pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Important Dates</span></div>
<ul
style="text-align: left; margin-top: 0px; margin-bottom: 0px; background-color: rgb(255, 255, 255);">
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 12pt 0px 0pt;">Abstract
submission: July 14th AoE</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin: 0pt 0px;">Paper
submission: July 18th AoE</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin: 0pt 0px;">Notification
of acceptance: Aug 31th (AoE)</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin: 0pt 0px;">Final
pre-conference paper submission: September 26th (AoE)</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin: 0pt 0px;">Conference:
October 6th-7th</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 0pt 0px 12pt;">Camera-ready
for papers included in post-conference proceedings: TBA</div>
</li>
</ul>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 14pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Invited speakers</span></div>
<ul
style="text-align: left; margin-top: 0px; margin-bottom: 0px; background-color: rgb(255, 255, 255);">
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 12pt 0px 0pt;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://cs.stanford.edu/people/trippel/__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_qf1gwbw$" target="_blank" id="OWAeb7b772e-9c65-ec18-08f0-d72ba5110f77" class="x_x_x_x_x_x_OWAAutoLink" title="https://cs.stanford.edu/people/trippel/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="4" style="color: rgb(17, 85, 204); margin: 0px;">Caroline
Trippel</a></u></span> (Stanford University)</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 0pt 0px 12pt;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://www.imandra.ai/about__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN__ak3Oak$" target="_blank" id="OWAfb589d9a-e1ba-47bb-17c9-da8a71f6d800" class="x_x_x_x_x_x_OWAAutoLink" title="https://www.imandra.ai/about" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="5" style="color: rgb(17, 85, 204); margin: 0px;">Grant
Passmore</a></u></span> (Imandra)</div>
</li>
</ul>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 14pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Invited tutorial speakers</span></div>
<ul
style="text-align: left; margin-top: 0px; margin-bottom: 0px; background-color: rgb(255, 255, 255);">
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 12pt 0px;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://www.strub.nu/__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_ex1lotc$" target="_blank" id="OWA0f4a76a7-029d-be50-c542-91454c093855" class="x_x_x_x_x_x_OWAAutoLink" title="https://www.strub.nu/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="6" style="color: rgb(17, 85, 204); margin: 0px;">Pierre-Yves
Strub</a></u></span> (PQShield)</div>
</li>
</ul>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 18pt 0px 4pt; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Chairs</span></div>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 14pt 0px 4pt; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Steering Committee</span></div>
<ul
style="text-align: left; margin-top: 0px; margin-bottom: 0px; background-color: rgb(255, 255, 255);">
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 12pt 0px 0pt;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://www.cse.iitb.ac.in/*supratik/__;fg!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_fe7O36s$" target="_blank" id="OWA1ba3b08f-db92-38c4-37e2-281f60474c24" class="x_x_x_x_x_x_OWAAutoLink" title="https://www.cse.iitb.ac.in/~supratik/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="7" style="color: rgb(17, 85, 204); margin: 0px;">Supratik
Chakraborty</a></u></span> (IIT Bombay, India)</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 0pt 0px 12pt;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://www.csl.sri.com/*shankar/__;fg!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_uKx4LVA$" target="_blank" id="OWA30532067-de4b-72e1-87b7-f8d139fcdb1d" class="x_x_x_x_x_x_OWAAutoLink" title="https://www.csl.sri.com/~shankar/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="8" style="color: rgb(17, 85, 204); margin: 0px;">Natarajan
Shankar</a></u></span> (SRI International)</div>
</li>
</ul>
<div class="elementToProof"
style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; background-color: rgb(255, 255, 255); margin: 18pt 0px 4pt; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Program Chairs</span></div>
<ul
style="text-align: left; margin-top: 0px; margin-bottom: 0px; background-color: rgb(255, 255, 255);">
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div
style="direction: ltr; line-height: 1.38; margin: 12pt 0px 0pt;"><span
style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://pit-claudel.fr/clement/__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_UX1Xh64$" target="_blank" id="OWA6f28e225-6095-6d68-d123-530e37bc548b" class="x_x_x_x_x_x_OWAAutoLink" title="https://pit-claudel.fr/clement/" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="9" style="color: rgb(17, 85, 204); margin: 0px;">Clément
Pit-Claudel</a></u></span> (EPFL)</div>
</li>
<li
style="font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div class="elementToProof"
style="direction: ltr; line-height: 1.38; margin: 0pt 0px 12pt;">
<span style="color: rgb(17, 85, 204);"><u><a href="https://urldefense.com/v3/__https://sites.google.com/view/katherinekosaian__;!!IBzWLUs!RyX8rAgdJT_NjCmTX9z03tIM_TZNnmMrRpf6Jf71-kfF0-TIGPlTVAl3FCVSPr4mTVX7Vvdzv3tGHhxdXsW8yRf1JQ8nU5_i4LN_v6PVWwU$" target="_blank" id="OWAf2a5a9c9-f645-9019-3ebf-f57bf1b608fa" class="x_x_x_x_x_x_OWAAutoLink" title="https://sites.google.com/view/katherinekosaian" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="10" style="color: rgb(17, 85, 204); margin: 0px;">Katherine
Kosaian</a></u></span> (University of Iowa)</div>
</li>
</ul>
</body>
</html>