[ecoop-info] Call for participation: 1st Rust Verification Workshop

Mueller Peter peter.mueller at inf.ethz.ch
Tue Mar 23 08:22:16 CET 2021

1st Rust Verification Workshop
Online, co-located with ETAPS 2021
April 07, 09, and 12, 2021, 16:00 - 18:10 GMT

Rust is a new programming language for writing performant code with strong type and memory safety guarantees. It is now considered a serious alternative to C and C++ for systems programming, because it provides high-level abstractions but without the cost of garbage collection. Given the growing popularity of Rust, and given that bugs in systems programs can be costly, there is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs.
The goal of this workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and exploring avenues for collaboration.
The program will contains a combination of invited talks and contributed talks. A detailed schedule is available here: https://sites.google.com/view/rustverify2021.

Please register via ETAPS at https://etaps.org/2021/registration. You will receive access information once you have registered.


  *   Rajeev Joshi, Amazon Web Services
  *   Nicholas Matsakis, Amazon Web Services
  *   Peter Müller, ETH Zurich

More information about the ecoop-info mailing list