[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are pleased to announce the Fifth Rust Verification Workshop (RW2025),
co-located with ETAPS 2025. 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: May 5-6, 2025
* Location: Hamilton, Canada (co-located with ETAPS 2025)
* Website:
https://urldefense.com/v3/__https://sites.google.com/view/rustverify2025__;!!IBzWLUs!VonCua63WIrR889OqLC8OaEIDmHRp6tvFo0R5ix5YPu_tzbnNLTMs7WBjLNO6P7DSiVZF-SYh358f8if-Fwmu3sKYUK2tWaq5ppX$
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), 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=rw2025__;!!IBzWLUs!VonCua63WIrR889OqLC8OaEIDmHRp6tvFo0R5ix5YPu_tzbnNLTMs7WBjLNO6P7DSiVZF-SYh358f8if-Fwmu3sKYUK2tYFIr-4W$
* Submission Deadline: February 7, 2025
* Notification of Acceptance: February 17, 2025
Organizing Committee ⸺
[email protected]<mailto:[email protected]>
* Rajeev Joshi, Amazon Web Services ([email protected])
* Felix Klock ([email protected])
* Andrea Lattuada, Max Planck Institute for Software Systems
([email protected])
* Alex Summers, The University of British Columbia ([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/rustverify2025__;!!IBzWLUs!VonCua63WIrR889OqLC8OaEIDmHRp6tvFo0R5ix5YPu_tzbnNLTMs7WBjLNO6P7DSiVZF-SYh358f8if-Fwmu3sKYUK2tWaq5ppX$
, or contact the organizers:
[email protected]<mailto:[email protected]>
Best regards,
The RW2025 Organizing Committee
