** Speaker announcement ** Catch this talk at RustWeek 2025! Speaker: Ralf Jung Title: MiniRust: A core language for specifying Rust Info & tickets: rustweek.org/talks/ralf/ See you in Utrecht 13-17 May, 2025! #rustweek #rustlang