If you struggle with the complexities of concurrent programming, this talk is for you!

Motoyuki Kimura (Software Engineer at CyberAgent) will introduce Loom, a testing tool for concurrent Rust programs. Loom helps detect subtle bugs by exploring all possible execution permutations of a concurrent program. It achieves this goal using model-checking techniques.

Motoyuki will show us how to use Loom and also dive into the underlying model-checking techniques.

Motoyuki is a Rust software engineer. He is currently building a digital signage system at CyberAgent using Rust. He is also actively involved in open-source projects in his free time, such as Tokio-rs.

GitHub: https://github.com/mox692
X: https://x.com/mox692

What makes Rust more than "just another curly-brace language"? And what would it take to bring it to safety-critical domains like automotive, aerospace, and medical devices? Florian Gilcher (Co-founder of Ferrous Systems) talks about Rust's journey into such industries, highlighting key aspects of its potential for adoption.

Watch to hear Florian's insights about Rust's growing significance for high-integrity systems, opportunities that the future holds for the language, and the challenges that must be addressed for it to become a prominent player in this space.

Special thanks to:

Drivemode (https://drivemode.com) for hosting us at their offices, Braid (https://braid.tech) for helping organize and record the event!