[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Talk, Demo, and Challenge Proposals
1st Rust Verification Workshop
Co-located with ETAPS 2020
Dublin, Ireland
Sunday, 26 April, 2020
https://sites.google.com/view/rustverify2020/home
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.
We want the workshop to be as informal and interactive as possible. The program
will thus involve a combination of invited talks, contributed talks about work
in progress, tool demos, and open-ended discussion sessions. There will be no
published proceedings, but participants will be invited to submit working
documents, talk slides, etc. to be posted on this website.
Call for Talk and Demo Proposals
---------------------------------------------
We solicit proposals for contributed talks and tool demos. Proposals should be
at most 2 pages, in either plain text or PDF format, and should specify how
long a talk/demo the speaker wishes to give. By default, contributed talks will
be 30 minutes long, but proposals for shorter or longer talks will also be
considered.
We are interested in talks/demos on all topics related to the verification of
Rust programs (including, for instance, program specification, deductive
verification, model checking, symbolic execution, runtime monitoring, the
semantics and formalization of Rust, and tool support). Talks about work in
progress as well as proposals for challenge problems in Rust are particularly
encouraged.
Please submit by email to
peter.muel...@inf.ethz.ch<mailto:peter.muel...@inf.ethz.ch>.
Important Dates
---------------------
Deadline for talk/demo proposals: February 07, 2020 (Friday)
Notification of acceptance: February 21, 2020 (Friday)
Workshop: April 26, 2020 (Sunday)
Organizers
----------------
Rajeev Joshi, Amazon Web Services
<joraj...@amazon.com<mailto:joraj...@amazon.com>>
Nicholas Matsakis, Mozilla <nmatsa...@mozilla.com<mailto:nmatsa...@mozilla.com>>
Peter Müller, ETH Zurich
<peter.muel...@inf.ethz.ch<mailto:peter.muel...@inf.ethz.ch>>
