October Meetup

Formal Verification of Rust via KMIR
Daniel Cumming
In this talk, we will explore Formal Verification (FV) of Rust programs. To orient ourselves, we will first begin by understanding what FV is, what FV means for Rust, what MIR is and the role it plays in FV, and briefly cover current approaches. After that, we will look deeper into the approach taken by KMIR.

Lightning Talks
This month we'll open the floor to lightning talks by attendees.

• 5-10 minutes on any Rust-related topic
• Code/slides optional
• What are you working on? Enjoying using? Excited about?
• Have you spotted a useful crate, technique, or idiom to share?

No advance notice or planning is required for lighting talks.