[TYPES/announce] Rust Verification Workshop at ETAPS 2023: Call for Talk and Demo Proposals

Mueller Peter peter.mueller at inf.ethz.ch
Tue Dec 6 07:49:56 EST 2022


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.mueller at inf.ethz.ch<mailto:peter.mueller at 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 <jorajeev at amazon.com<mailto:jorajeev at amazon.com>>
Nicholas Matsakis, Amazon Web Services <nikomat at amazon.com>
Peter Müller, ETH Zurich <peter.mueller at inf.ethz.ch>

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


More information about the Types-announce mailing list