Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Aymeric Fromherz is a researcher in the Prosecco team at Inria Paris. He received his PhD from Carnegie Mellon University in 2021.

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Daniel Cumming has been a verification engineer for Runtime Verification Inc. for over 2 years, nearly exclusively working with #Rust code.

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Guillaume Claret 🐻‍❄️ is a security researcher and the founder of Formal Land 🌲, a company specializing in the application of formal methods to critical code. #rustlang

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Rémi Delmas is a Principal Applied Scientist at Amazon Web Services (AWS) Automated Reasoning Group in Boston. #rustlang

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Zyad Hassan is a Senior Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS), where he works on the Kani Rust Verifier.

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Sponsor highlight: The Automated Reasoning Group Amazon Web Services is focusing on the automation of formal logical reasoning to raise the bar on the security, durability, and availability.

🇨🇦We are already at the Symposium on Formal Methods for RUST at ICSE 2025 by Atlas Computing! At 3pm Daniel will join the stage to share about Symbolic Execution of Rust code via Stable MIR. If you are in Ottawa today, make sure to stop by and say Hi👋

Today in Ottawa at the Rogers Center ICSE #rustlang

All the videos from the Atlas Computing Symposium on Formal Methods for Rust at @ICSEconf2025 are out. bit.ly/3GJ55e9 This has been a great combo of industry ad academic talks with participation from Amazon Web Services Microsoft Azure Inria ETH Zurich Formal Land 🌲 and Runtime Vеrification #rustlang

Xavier Denis from ETH Zurich giving an update on Creusot at the Atlas Computing Symposium Rust Ottawa 2025 youtu.be/CMGgk08p2SA #rustlang

Remi Delmas, Principal Applied Scientist Amazon Web Services presenting the Harness-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/QW2R4z7WPMU #rustlang

Aymeric Fromherz from Inria Paris presenting an update on Charon at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/jYX-wgLP1MU

Zyad Hassan, Senior Applied Scientist Amazon Web Services, presenting the Contract-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/6eqJZmU04b8

Guillaume Claret from Formal Land 🌲 presenting Formal Verification for Rust in Rocq at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/2TsA_xJn7yU #rustlang

Everett Hildenbrandt, CEO Runtime Vеrification, with a demo by Daniel Cumming and Jost Berthold on Formal Verification of Rust programs using stable MIR and the K framework at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/VPkTZEf4ks8 #rustlang

Son Ho with an update on Aeneas : Formal verification of Rust program by functional translation, a tool developed from combined efforts of Microsoft Azure Inria Paris youtu.be/24Wt5FvmcHM 2025 Atlas Computing Symposium : Rust in Ottawa #rustlang