[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Talk and Demo Proposals
3rd Rust Verification Workshop
Co-located with ETAPS 2023
Paris, France
Sunday, April 23, 2023
https://urldefense.com/v3/__https://sites.google.com/view/rustverify2023/home__;!!IBzWLUs!WvjSkEvaJwWW-00m5MDND8mwv4QX1kSLQH1NoxnBuQo9q_U90qHogB_iZu2NLX8yIy9kr0w7Kov1S_ft7QaeenmG23DeZb42ewX9IBtfTAI$
Rust is a recently introduced programming language for writing performant code
with strong type and memory safety guarantees. It is 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 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: January 20, 2023 (Friday)
Notification of acceptance: February 10, 2023 (Friday)
Workshop: April 23, 2023 (Sunday)
Organizers
----------------
Rajeev Joshi, Amazon Web Services
<joraj...@amazon.com<mailto:joraj...@amazon.com>>
Nicholas Matsakis, Amazon Web Services <niko...@amazon.com>
Peter Müller, ETH Zurich <peter.muel...@inf.ethz.ch>
