[TYPES/announce] Call for Submissions: Fifth Rust Verification Workshop (RW2025)

[Summers, Alexander]

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 ⸺ rw2025-organizers at googlegroups.com<mailto:rw2025-organizers at googlegroups.com>

  *   Rajeev Joshi, Amazon Web Services (jorajeev at amazon.com)
  *   Felix Klock (pnkfelix at pnkfx.org)
  *   Andrea Lattuada, Max Planck Institute for Software Systems (andrea at mpi-sws.org)
  *   Alex Summers, The University of British Columbia (alex.summers at ubc.ca)

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: rw2025-organizers at googlegroups.com<mailto:rw2025-organizers at googlegroups.com>

Best regards,

The RW2025 Organizing Committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250107/9b847ec5/attachment-0001.htm>