Explore three diverse Rust-focused presentations in this 1-hour 26-minute conference talk. Begin with Xavier Denis' discussion on program verification using Creusot for safer Rust development. Next, delve into Bernhard Borges' insights on leveraging Rust to construct open-source distributed networks. Conclude with Andreas Klostermaier's showcase of Cropping.Rocks, a microservice built with Rust, Rocket, and WebAssembly technologies.