[TYPES/announce] Second Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) - (short) proposals due on Friday!

[Summers, Alexander]

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 (aymeric.fromherz at inria.fr<mailto:aymeric.fromherz at inria.fr>)
·       Rajeev Joshi, Amazon Web Services (jorajeev at amazon.com<mailto:jorajeev at amazon.com>)

  *   Alex Summers, The University of British Columbia (alex.summers at ubc.ca<mailto: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/rustverify2026__;!!IBzWLUs!SHkEayt-VkgxYyHMRaU4gJAyNZqhnj6DJw7339B9hYoWAP14wrowItfo_iuv0Vf4nW4iCgErW0alp4c1QSiPcFKVClQqWsfgzAku$  or contact the organizers.

Best regards,

The RW2026 Organizing Committee

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