[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
1st Rust Verification Workshop
Online, co-located with ETAPS 2021
April 07, 09, and 12, 2021, 16:00 - 18:10 GMT
https://sites.google.com/view/rustverify2021
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.
Registration
Please register via ETAPS at https://etaps.org/2021/registration. You will
receive access information once you have registered.
Organizers:
* Rajeev Joshi, Amazon Web Services
* Nicholas Matsakis, Amazon Web Services
* Peter Müller, ETH Zurich
