[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are pleased to announce the Sixth Rust Verification Workshop (RW2026),
co-located with ETAPS 2026. This workshop aims to bring together researchers,
language designers, application developers, and formal verification tool
builders to discuss and collaborate on the verification of Rust programs.
Workshop Details:
* Dates: April 13-14 2026
* Location: Turin, Italy (co-located with ETAPS 2026)
* Website:
https://urldefense.com/v3/__https://sites.google.com/view/rustverify2026__;!!IBzWLUs!SHkEayt-VkgxYyHMRaU4gJAyNZqhnj6DJw7339B9hYoWAP14wrowItfo_iuv0Vf4nW4iCgErW0alp4c1QSiPcFKVClQqWsfgzAku$
Call for Talk and Demo Proposals: We invite proposals for contributed talks and
tool demonstrations on topics related to Rust program verification, including
but not limited to:
* Program specification
* Deductive verification
* Model checking
* Symbolic execution
* Runtime monitoring
* Semantics and formalization of Rust
* Tool support
Proposals should be at most 2 pages (in plain text or PDF) and specify the
desired duration of the talk or demo. The default duration is 30 minutes
(including time for questions – we recommend reserving a third of the slot time
for this), but shorter or longer durations will be considered. Submissions
about work in progress and challenge problems in Rust are especially encouraged.
Submission Details:
* Submission Portal:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rw2026__;!!IBzWLUs!SHkEayt-VkgxYyHMRaU4gJAyNZqhnj6DJw7339B9hYoWAP14wrowItfo_iuv0Vf4nW4iCgErW0alp4c1QSiPcFKVClQqWg7IYYGa$
* Submission Deadline: February 6, 2026 (AoE)
* Notification of Acceptance: February 13, 2026 (AoE)
Organizing Committee ⸺
* Aymeric Fromherz, Inria Paris
([email protected]<mailto:[email protected]>)
· Rajeev Joshi, Amazon Web Services
([email protected]<mailto:[email protected]>)
* Alex Summers, The University of British Columbia
([email protected]<mailto:[email protected]>)
We look forward to your contributions and to advancing the field of Rust
verification together. For more information, please visit our website,
https://urldefense.com/v3/__https://sites.google.com/view/rustverify2026__;!!IBzWLUs!SHkEayt-VkgxYyHMRaU4gJAyNZqhnj6DJw7339B9hYoWAP14wrowItfo_iuv0Vf4nW4iCgErW0alp4c1QSiPcFKVClQqWsfgzAku$
or contact the organizers.
Best regards,
The RW2026 Organizing Committee
